<div class="csl-bib-body">
<div class="csl-entry">Holzer, A., Kroening, D., Schallhart, C., Tautschnig, M., & Veith, H. (2012). Proving Reachability Using FShell. In C. Flanagan & B. König (Eds.), <i>Tools and Algorithms for the Construction and Analysis of Systems</i> (pp. 538–541). Springer. https://doi.org/10.1007/978-3-642-28756-5_43</div>
</div>
-
dc.identifier.isbn
9783642287558
-
dc.identifier.isbn
9783642287565
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/54157
-
dc.description.abstract
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 mathematical framework to reason about coverage criteria. To solve the reachability problem posed in SV-COMP we specify coverage of ERROR labels. As back end, FShell uses bounded model checking, building upon components of CBMC and leveraging the power of SAT solvers for efficient enumeration of a full test suite.
en
dc.publisher
Springer
-
dc.relation.ispartofseries
Lecture Notes in Computer Science
-
dc.title
Proving Reachability Using FShell
-
dc.type
Konferenzbeitrag
de
dc.type
Inproceedings
en
dc.relation.publication
Tools and Algorithms for the Construction and Analysis of Systems
-
dc.relation.isbn
978-3-642-28755-8
-
dc.relation.doi
10.1007/978-3-642-28756-5
-
dc.relation.issn
0302-9743
-
dc.description.startpage
538
-
dc.description.endpage
541
-
dc.type.category
Full-Paper Contribution
-
dc.relation.eissn
1611-3349
-
dc.publisher.place
LNCS 7214
-
tuw.booktitle
Tools and Algorithms for the Construction and Analysis of Systems
-
tuw.peerreviewed
true
-
tuw.relation.publisher
Springer
-
tuw.relation.publisherplace
Berlin, Heidelberg
-
tuw.researchTopic.id
I1
-
tuw.researchTopic.name
Logic and Computation
-
tuw.researchTopic.value
100
-
tuw.publication.orgunit
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
-
tuw.publisher.doi
10.1007/978-3-642-28756-5_43
-
dc.description.numberOfPages
4
-
tuw.event.name
Tools and Algorithms for the Construction and Analysis of Systems (TACAS)