Paper Info
Title
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 FShellprovides 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, FShellis designed as a database engine which dispatches queries about the program to program analysis tools. We report on the integration of CBMC into FShelland describe architectural modifications which support efficient test case generation.
Year
DOI
Venue
2008
10.1007/978-3-540-70545-1_20
CAV
Keywords
Field
DocType
versatile testing environment,database engine,dynamic analysis,white box testing,software model checker,counterexample generation,architectural modification,c program,software testing,systematic test case generation,program analysis tool,efficient test case generation,scripting language,formal verification
Programming language,Model checking,Computer science,White-box testing,Database engine,Software,Program analysis,Counterexample,Formal verification,Scripting language
Conference
Volume
ISSN
Citations 
5123
0302-9743
31
PageRank 
References 
Authors
1.10
10
4
Name
Order
Citations
PageRank
Andreas Holzer119713.62
Christian Schallhart2113756.06
Michael Tautschnig342525.84
Helmut Veith42476140.58