It is a common practice to perform compiler testing with a set of hand-written sample programs. However, gathering larger collections of high-quality test cases is a di ficult and time consuming task. This work explores the potential of automatic source code generation techniques to simplify the construction of test suites for compilers and other source code processing tools (e.g. pretty-printers, static code analysis tools, refactoring engines, etc.). The goal is to design a source code generator capable of producing compiletime correct programs in a selected high-level programming language. A set of theoretical methods and algorithms for pseudo-random source code generation is presented. Specifi c methods are designed for handling context...
Program generation is among the most promising techniques in the effort to increase the automation o...
ii Compilation involves transforming a high level language source program into an equivalent assembl...
An implementation of a sentence generator system for a compiler for PT, a subset of Pascal, is discu...
It is a common practice to perform compiler testing with a set of hand-written sample programs. Howe...
This thesis tries to improve on the relatively uncommon practice of random testing of compilers.Rand...
ASE 2015 : 2015 30th IEEE/ACM International Conference on Automated Software Engineering, 9-13 Nov. ...
In the given work the problem of quality of generating of random numbers is studied. The purpose of ...
AbstractThe paper presents a novel approach to automated compiler test suite generation based on the...
A system for assisting in the testing phase of compilers is described. The definition of the languag...
Pre-proceedings paper presented at the 27th International Symposium on Logic-Based Program Synthesis...
We describe Genesis, a language for the generation of synthetic programs. The language allows users ...
Given a complete, formal description of the semantics of a programming language, it should be possib...
Testing is the most commonly used technique for raising confidence in the correctness of a piece of ...
ASE 2015 : 2015 30th IEEE/ACM International Conference on Automated Software Engineering, 9-13 Nov. ...
The purpose of this research was to investigate the generation of machine code from high-level progr...
Program generation is among the most promising techniques in the effort to increase the automation o...
ii Compilation involves transforming a high level language source program into an equivalent assembl...
An implementation of a sentence generator system for a compiler for PT, a subset of Pascal, is discu...
It is a common practice to perform compiler testing with a set of hand-written sample programs. Howe...
This thesis tries to improve on the relatively uncommon practice of random testing of compilers.Rand...
ASE 2015 : 2015 30th IEEE/ACM International Conference on Automated Software Engineering, 9-13 Nov. ...
In the given work the problem of quality of generating of random numbers is studied. The purpose of ...
AbstractThe paper presents a novel approach to automated compiler test suite generation based on the...
A system for assisting in the testing phase of compilers is described. The definition of the languag...
Pre-proceedings paper presented at the 27th International Symposium on Logic-Based Program Synthesis...
We describe Genesis, a language for the generation of synthetic programs. The language allows users ...
Given a complete, formal description of the semantics of a programming language, it should be possib...
Testing is the most commonly used technique for raising confidence in the correctness of a piece of ...
ASE 2015 : 2015 30th IEEE/ACM International Conference on Automated Software Engineering, 9-13 Nov. ...
The purpose of this research was to investigate the generation of machine code from high-level progr...
Program generation is among the most promising techniques in the effort to increase the automation o...
ii Compilation involves transforming a high level language source program into an equivalent assembl...
An implementation of a sentence generator system for a compiler for PT, a subset of Pascal, is discu...