Journal article icon

Journal article

FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement.

Abstract:

Although the principal analogy between counterexample generation and white box testing has been repeatedly addressed, the usage patterns and performance requirements for software testing are quite different from formal verification. Our tool FShell provides a versatile testing environment for C programs which supports both interactive explorative use and a rich scripting language. More than a frontend for software model checkers, FShell is designed as a database engine which dispatches querie...

Expand abstract

Actions


Access Document


Authors


Schallhart, C More by this author
Tautschnig, M More by this author

Contributors

Role:
Editor
Role:
Editor
Publisher:
Springer Publisher's website
Journal:
CAV
Volume:
5123
Pages:
209-213
Publication date:
2008
DOI:
EISSN:
1611-3349
ISSN:
0302-9743
URN:
uuid:52ce3241-8809-45cb-a838-c59712981360
Source identifiers:
291834
Local pid:
pubs:291834
Language:
English

Terms of use


Metrics



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

TO TOP