Talks and Poster Presentations (with Proceedings-Entry):
A. Holzer, C. Schallhart, M. Tautschnig, H. Veith:
"An Introduction to Test Specification in FQL";
Talk: Haifa Verification Conference,
- 2010-10-07; in: "Lecture Notes in Computer Science",
S. Barner, J.G. Harris, D. Kroening, O. Raz (ed.);
In a recent series of papers, we introduced a new framework for white-box testing which aims at a separation of concerns between test
specifications and test generation engines. We believe that establishing a common language for test criteria will have similar benefits to testing as temporal logic had to model checking and SQL had to databases.
The main challenge was to find a specification language which is expressive, simple, and precise. This paper gives an introduction to the test specification language FQL and its tool environment.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
Project Head Helmut Veith:
FORTAS - Developing methods to analyze the timing behavior of real-time software by systematic and formally well-founded testing
Created from the Publication Database of the Vienna University of Technology.