FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement
Andreas Holzer‚ Christian Schallhart‚ Michael Tautschnig and Helmut Veith
Address
Princeton‚ NJ‚ USA
Book Title
Proceedings of the 20th International Conference on Computer Aided Verification (CAV 2008)
Month
July
Pages
209–213
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
5123
Year
2008