Proving Reachability Using FShell - (Competition Contribution).
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the declarative specification language FQL (FShell Query Language), an efficient back end for computing test data, and a mathemat...
Päätekijät: | Holzer, A, Kroening, D, Schallhart, C, Tautschnig, M, Veith, H |
---|---|
Muut tekijät: | Flanagan, C |
Aineistotyyppi: | Journal article |
Kieli: | English |
Julkaistu: |
Springer
2012
|
Samankaltaisia teoksia
-
FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement.
Tekijä: Holzer, A, et al.
Julkaistu: (2008) -
FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement
Tekijä: Holzer, A, et al.
Julkaistu: (2008) -
An Introduction to Test Specification in FQL.
Tekijä: Holzer, A, et al.
Julkaistu: (2010) -
Query-Driven Program Testing.
Tekijä: Holzer, A, et al.
Julkaistu: (2009) -
How did you specify your test suite ?
Tekijä: Holzer, A, et al.
Julkaistu: (2010)