Journal article icon

Journal article

An Introduction to Test Specification in FQL.

Abstract:

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

Actions


Access Document


Publisher copy:
10.1007/978-3-642-19583-9_5

Authors


Contributors

Role:
Editor
Role:
Editor
Role:
Editor
Role:
Editor
Publisher:
Springer Publisher's website
Journal:
Haifa Verification Conference
Volume:
6504
Pages:
9-22
Publication date:
2010-01-01
DOI:
EISSN:
1611-3349
ISSN:
0302-9743
URN:
uuid:3326aa19-6c71-4ae5-ae49-22743e0de318
Source identifiers:
303233
Local pid:
pubs:303233
Language:
English

Terms of use


Metrics


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP