AbstractThe paper presents a novel approach to automated compiler test suite generation based on the source level specification. Several coverage criteria are introduced. The application of the proposed methodology to testing the realistic programming language is discussed
International audienceThis paper reports on the development and formal certification (proof of seman...
The correctness of the compiler is a necessary requirement for the correct operation of the software...
Given a complete, formal description of the semantics of a programming language, it should be possib...
AbstractThe paper presents a novel approach to automated compiler test suite generation based on the...
A tool for compiler testing is implemented. The tool is driven by a BNF grammar extended by a device...
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. Ra...
Traditionally, compilers available to the software developer/tester have only supported two software...
Original papercan be found at : http://www.vmars.tuwien.ac.at/ Copyright Institut fur Technische Inf...
AbstractGuaranteeing correctness of compilation is a vital precondition for correct software. Code g...
In this paper we present a novel lightweight approach to validate compilers for synchronous language...
Fuzzing is a widely-used testing technique to assure software robustness. However, automatic generat...
Graduation date: 2017The main goal of automated test generation is to improve the reliability of a p...
Software is everywhere in our daily lives, and it is important that software behaves in ways it is e...
International audienceGiven the complexity and sophistication of code generation and optimization al...
International audienceThis paper reports on the development and formal certification (proof of seman...
The correctness of the compiler is a necessary requirement for the correct operation of the software...
Given a complete, formal description of the semantics of a programming language, it should be possib...
AbstractThe paper presents a novel approach to automated compiler test suite generation based on the...
A tool for compiler testing is implemented. The tool is driven by a BNF grammar extended by a device...
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. Ra...
Traditionally, compilers available to the software developer/tester have only supported two software...
Original papercan be found at : http://www.vmars.tuwien.ac.at/ Copyright Institut fur Technische Inf...
AbstractGuaranteeing correctness of compilation is a vital precondition for correct software. Code g...
In this paper we present a novel lightweight approach to validate compilers for synchronous language...
Fuzzing is a widely-used testing technique to assure software robustness. However, automatic generat...
Graduation date: 2017The main goal of automated test generation is to improve the reliability of a p...
Software is everywhere in our daily lives, and it is important that software behaves in ways it is e...
International audienceGiven the complexity and sophistication of code generation and optimization al...
International audienceThis paper reports on the development and formal certification (proof of seman...
The correctness of the compiler is a necessary requirement for the correct operation of the software...
Given a complete, formal description of the semantics of a programming language, it should be possib...
DOI
Add to ORKG