-
Notifications
You must be signed in to change notification settings - Fork 61
Test Generation
An Automatic Generator for Compiler Testing Bazzichi, F. & Spadafora, I. (1982), 'An Automatic Generator for Compiler Testing', Institute of Electrical and Electronics Engineers. Transactions on Software Engineering SE--8 (4) , 343--353 .
Tests generator automatically generate compatible programs to test compilers, the generator is driven by a tabular description of the source language.
Testing syntax and semantic coverage of Java language compilers Boujarwah, A. S.; Saleh, K. & Al-Dallal, J. (1999), 'Testing Syntax and Semantic Coverage of Java Language Compilers.', Information & Software Technology 41 (1) , 15-28 .
Algorithm and tool to automate the generation of test cases to check the language syntax; heuristic approach to cover language semantics.
Testing an optimising compiler by generating random lambda terms Palka, M. H.; Claessen, K.; Russo, A. & Hughes, J. (2011), Testing an optimising compiler by generating random lambda terms., in Antonia Bertolino; Howard Foster & J. Jenny Li, ed., 'AST' , ACM, , pp. 91-97 .
This paper considers random testing of a compiler, using randomly generated programs as inputs, and comparing their behaviour with and without optimisation.
Compositional Dynamic Test Generation Godefroid, P. (2007), Compositional Dynamic Test Generation, in '#POPL07#' .
Apply the summary technique from interprocedural static analysis to make DART scale.