Alfred V. Aho, Ravi Sethi & Jeffrey D. Ullman (1986):
Compilers: Principles, Techniques, and Tools.
Addison-Wesley Longman Publishing Co., Inc.,
Boston, MA, USA.
Thomas Ball & Sriram K. Rajamani (2002):
The SLAM Project: Debugging System Software via Static Analysis.
SIGPLAN Not. 37(1),
pp. 1–3,
doi:10.1145/565816.503274.
Dirk Beyer (2016):
Reliable and Reproducible Competition Results with BenchExec and Witnesses (Report on SV-COMP 2016).
In: Tools and Algorithms for the Construction and Analysis of Systems,
Lecture Notes in Computer Science 9636.
Springer,
pp. 887–904,
doi:10.1007/978-3-662-49674-9_55.
Dirk Beyer, Alessandro Cimatti, Alberto Griggio, M. Erkan Keremoglu & Roberto Sebastiani (2009):
Software model checking via large-block encoding.
In: Proceedings of the 2009 Conference on Formal Methods in Computer-Aided Design.
IEEE,
pp. 25–32,
doi:10.1109/FMCAD.2009.5351147.
Dirk Beyer & Matthias Dangl (2016):
SMT-based Software Model Checking: An Experimental Comparison of Four Algorithms.
In: Verified Software. Theories, Tools, and Experiments,
Lecture Notes in Computer Science 9971.
Springer,
pp. 181–198,
doi:10.1007/978-3-319-48869-1_14.
Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala & Rupak Majumdar (2007):
The software model checker Blast.
International Journal on Software Tools for Technology Transfer 9(5),
pp. 505–525,
doi:10.1007/s10009-007-0044-z.
Dirk Beyer, Thomas A. Henzinger & Grégory Théoduloz (2007):
Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis.
In: Computer Aided Verification,
Lecture Notes in Computer Science 4590.
Springer,
pp. 504–518,
doi:10.1007/978-3-540-73368-3_51.
Dirk Beyer, Stefan Löwe & Philipp Wendler (2015):
Refinement Selection.
In: Model Checking Software: 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings,
Lecture Notes in Computer Science 9232.
Springer,
pp. 20–38,
doi:10.1007/978-3-319-23404-5_3.
David Binkley, Nicolas Gold & Mark Harman (2007):
An Empirical Study of Static Program Slice Size.
ACM Transactions on Software Engineering and Methodology 16(2),
doi:10.1145/1217295.1217297.
Ingo Brückner, Klaus Dräger, Bernd Finkbeiner & Heike Wehrheim (2008):
Slicing Abstractions.
Fundamenta Informaticae 89(4),
pp. 369–392.
Edmund Clarke, Orna Grumberg, Somesh Jha, Yuan Lu & Helmut Veith (2003):
Counterexample-guided abstraction refinement for symbolic model checking.
Journal of the ACM 50(5),
pp. 752–794,
doi:10.1145/876638.876643.
Edmund Clarke, Anubhav Gupta & Ofer Strichman (2004):
SAT-based counterexample-guided abstraction refinement.
IEEE Trans. on Computer-Aided Design of Integrated Circuits and Systems 23(7),
pp. 1113–1123,
doi:10.1109/TCAD.2004.829807.
Edmund Clarke, Daniel Kroening, Natasha Sharygina & Karen Yorav (2005):
SATABS: SAT-Based Predicate Abstraction for ANSI-C.
In: Tools and Algorithms for the Construction and Analysis of Systems,
Lecture Notes in Computer Science 3440.
Springer,
pp. 570–574,
doi:10.1007/978-3-540-31980-1_40.
Jeanne Ferrante, Karl J. Ottenstein & Joe D. Warren (1987):
The Program Dependence Graph and Its Use in Optimization.
ACM Trans. Program. Lang. Syst. 9(3),
pp. 319–349,
doi:10.1145/24039.24041.
Susanne Graf & Hassen Saidi (1997):
Construction of abstract state graphs with PVS.
In: Computer Aided Verification,
Lecture Notes in Computer Science 1254.
Springer,
pp. 72–83,
doi:10.1007/3-540-63166-6_10.
Ákos Hajdu, Tamás Tóth, András Vörös & István Majzik (2016):
A Configurable CEGAR Framework with Interpolation-based Refinements.
In: Formal Techniques for Distributed Objects, Components and Systems,
Lecture Notes in Computer Science 9688.
Springer,
pp. 158–174,
doi:10.1007/978-3-319-39570-8_11.
Susan Horwitz, Thomas Reps & David Binkley (1990):
Interprocedural Slicing Using Dependence Graphs.
ACM Transactions on Programming Languages and Systems 12(1),
pp. 26–60,
doi:10.1145/77606.77608.
Shrawan Kumar, Amitabha Sanyal & Uday P. Khedker (2015):
Value Slice: A New Slicing Concept for Scalable Property Checking.
In: Tools and Algorithms for the Construction and Analysis of Systems,
Lecture Notes in Computer Science 9035.
Springer,
pp. 101–115,
doi:10.1007/978-3-662-46681-0_7.
Chris Lattner & Vikram Adve (2004):
LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation.
In: Proceedings of the 2004 International Symposium on Code Generation and Optimization.
IEEE,
pp. 75–86.
Martin Leucker, Grigory Markin & Martin R. Neuhäußer (2015):
A New Refinement Strategy for CEGAR-Based Industrial Model Checking.
In: Hardware and Software: Verification and Testing,
Lecture Notes in Computer Science 9434.
Springer,
pp. 155–170,
doi:10.1007/978-3-319-26287-1_10.
Kenneth L. McMillan (2005):
Applications of Craig Interpolants in Model Checking.
In: Tools and Algorithms for the Construction and Analysis of Systems,
Lecture Notes in Computer Science 3440.
Springer,
pp. 1–12,
doi:10.1007/978-3-540-31980-1_1.
Manu Sridharan, Stephen J. Fink & Rastislav Bodik (2007):
Thin Slicing.
In: Proceedings of the 28th ACM SIGPLAN Conference on Programming Language Design and Implementation.
ACM,
pp. 112–122.
Yakir Vizel & Orna Grumberg (2009):
Interpolation-sequence based model checking.
In: Proceedings of the 2009 Conference on Formal Methods in Computer-Aided Design.
IEEE,
pp. 1–8,
doi:10.1109/FMCAD.2009.5351148.
Mark Weiser (1981):
Program Slicing.
In: Proceedings of the 5th International Conference on Software Engineering.
IEEE,
pp. 439–449.