Independent testing of compiler phases using a test case generator

Authors:
William Homer;Richard Schooler
Affiliations:
Cray Research, Inc., Mendota Heights, MN;BBN Advanced Computers, Inc., Cambridge, MA
Venue:
Software—Practice & Experience
Year:
1989

Automatic generation of test scripts from formal test specifications

TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Automatic determination of recommended test combinations for Ada compilers

WADAS '91 Proceedings of the eighth annual Washington Ada symposium & summer SIGAda meeting on Ada: software: foundation for competitveness
Systematic Testing of Model-Based Code Generators

IEEE Transactions on Software Engineering

Hi-index	0.00