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 specifi...Expand abstract
- Publisher copy:
- Copyright date:
An Introduction to Test Specification in FQL.
Views and Downloads
If you are the owner of this record, you can report an update to it here: Report update to this record