Software testing techniques (2nd ed.)
Software testing techniques (2nd ed.)
Independent testing of compiler phases using a test case generator
Software—Practice & Experience
Handbook of graph grammars and computing by graph transformation: volume I. foundations
Handbook of graph grammars and computing by graph transformation: volume I. foundations
Advanced compiler design and implementation
Advanced compiler design and implementation
Ada conformity assessments: a model for other programming languages?
Proceedings of the 1999 annual ACM SIGAda international conference on Ada
Using production grammars in software testing
Proceedings of the 2nd conference on Domain-specific languages
Translation validation for an optimizing compiler
PLDI '00 Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation
Art of Software Testing
Lessons Learned in Software Testing
Lessons Learned in Software Testing
Systematic Software Testing
The anatomy of an FAA-qualifiable Ada subset compiler
Proceedings of the 2002 annual ACM SIGAda international conference on Ada: The engineering of correct and reliable software for real-time & distributed systems using Ada and related technologies
Test Generation for Compilers and Other Formal Text Processors
Programming and Computing Software
Test plan generation using formal grammars
ICSE '79 Proceedings of the 4th international conference on Software engineering
Compiler verification: a bibliography
ACM SIGSOFT Software Engineering Notes
Overview of existing safeguarding techniques for automatically generated code
SEAS '05 Proceedings of the second international workshop on Software engineering for automotive systems
An Automatic Generator for Compiler Testing
IEEE Transactions on Software Engineering
Incremental Development of Model Transformation Chains Using Automated Testing
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Automated Test Input Generation for Software That Consumes ORM Models
OTM '09 Proceedings of the Confederated International Workshops and Posters on On the Move to Meaningful Internet Systems: ADI, CAMS, EI2N, ISDE, IWSSA, MONET, OnToContent, ODIS, ORM, OTM Academy, SWWS, SEMELS, Beyond SAWSDL, and COMBEK 2009
ACC'09 Proceedings of the 2009 conference on American Control Conference
Testing-based translation validation of generated code in the context of IEC 61508
Formal Methods in System Design
Engineering model transformations with transML
Software and Systems Modeling (SoSyM)
Hi-index | 0.00 |
Unlike for conventional compilers for imperative programming languages such as C or ADA, no establishedmethods for safeguarding artifacts generated by model-based code generators exist despite progress in the field of formalverification. Several test approaches dominate the engineering practice. This paper describes a general and toolindependenttest architecture for code generators used in model-based development. We evaluate the effectiveness of ourtest approach by means of testing optimizations performed by the TargetLink code generator, a widely accepted andcomplex development tool used in automotive model-based development.