Information reuse for multi-goal reachability analyses

DOI10.1007/978-3-642-37036-6_26MaRDI QIDQ5326302zbMATH OpenOpenAlexFDO

Authors D. Beyer, Andreas Holzer, Michael Tautschnig, Helmut Veith

Publication date 5 August 2013

Published in Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-37036-6_26

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Play to Test
• On the order of test goals in specification-based testing
• Using Model Checking to Generate Fault Detecting Tests
• Towards a Theory of Reach
• scientific article; zbMATH DE number 938070

Cited in

(6)

• Reusing predicate precision in value analysis
• On the order of test goals in specification-based testing
• Combining model checking and data-flow analysis
• Combining model checking and testing
• Play to Test
• Closure properties and complexity of rational sets of regular languages

Describes a project that uses

Uses Software

• BLAST
• Java PathFinder
• FShell

This page was built for publication: Information reuse for multi-goal reachability analyses

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5326302)