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
Automated software testing is an important measure to improve software quality and the efficiency of...
Given a complete, formal description of the semantics of a programming language, it should be possib...
The term grammar-based software describes software whose input can be specified by a context-free g...
AbstractThe paper presents a novel approach to automated compiler test suite generation based on the...
Traditionally, compilers available to the software developer/tester have only supported two software...
Generating test cases from the specification can be done early in the software development life cycl...
Software testing is a critical and important stage of the application software development life-cycl...
It is a common practice to perform compiler testing with a set of hand-written sample programs. Howe...
Branch coverage is an important measure of the thoroughness of testing. One can easily get tools tha...
Original papercan be found at : http://www.vmars.tuwien.ac.at/ Copyright Institut fur Technische Inf...
Software Testing via Coverage Analysis is the most used technique for software verification in indus...
Graduation date: 2017The main goal of automated test generation is to improve the reliability of a p...
The correctness of the compiler is a necessary requirement for the correct operation of the software...
Automated test generation for object-oriented software typically consists of producing sequences of...
Abstract. Testing remains the principal means of verification in many certification regimes. Formal ...
Automated software testing is an important measure to improve software quality and the efficiency of...
Given a complete, formal description of the semantics of a programming language, it should be possib...
The term grammar-based software describes software whose input can be specified by a context-free g...
AbstractThe paper presents a novel approach to automated compiler test suite generation based on the...
Traditionally, compilers available to the software developer/tester have only supported two software...
Generating test cases from the specification can be done early in the software development life cycl...
Software testing is a critical and important stage of the application software development life-cycl...
It is a common practice to perform compiler testing with a set of hand-written sample programs. Howe...
Branch coverage is an important measure of the thoroughness of testing. One can easily get tools tha...
Original papercan be found at : http://www.vmars.tuwien.ac.at/ Copyright Institut fur Technische Inf...
Software Testing via Coverage Analysis is the most used technique for software verification in indus...
Graduation date: 2017The main goal of automated test generation is to improve the reliability of a p...
The correctness of the compiler is a necessary requirement for the correct operation of the software...
Automated test generation for object-oriented software typically consists of producing sequences of...
Abstract. Testing remains the principal means of verification in many certification regimes. Formal ...
Automated software testing is an important measure to improve software quality and the efficiency of...
Given a complete, formal description of the semantics of a programming language, it should be possib...
The term grammar-based software describes software whose input can be specified by a context-free g...
DOI
Add to ORKG