T. Ball, V. Levin & S. K. Rajamani (2011):
A Decade of Software Model Checking with SLAM.
Communications of the ACM 54(7),
pp. 68–76,
doi:10.1145/1965724.1965743.
D. Beyer, T. A. Henzinger, R. Jhala & R. Majumdar (2007):
The software model checker BLAST.
International Journal on Software Tools for Technology Transfer (STTT) 9(5),
pp. 505–525,
doi:10.1007/s10009-007-0044-z.
E. Clarke, D. Kroening & F. Lerda (2004):
A tool for checking ANSI-C programs.
In: Proceedings of Tools and Algorithms for the Construction and Analysis of Systems,
pp. 168–176,
doi:10.1007/978-3-540-24730-2_15.
J. C. Corbett & M. B. Dwyer et al. (2000):
Bandera: Extracting Finite-state Models from Java Source Code.
In: Proceedings of the 22nd International Conference on Software Engineering,
pp. 439–448,
doi:10.1109/ICSE.2000.870434.
G. J. Holzmann (1997):
The model checker SPIN.
IEEE Transaction on Software Engineering 23(5),
pp. 279–295,
doi:10.1109/32.588521.
G. J. Holzmann & T. C. Ruys (2005):
Effective Bug Hunting with SPIN and Modex.
In: Proceedings of the 12th International SPIN Workshop,
pp. 24–24,
doi:10.1007/11537328_3.
S. Horwitz, T. Reps & D. Binkley (1988):
Interprocedural slicing using dependence graphs.
In: Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation,
pp. 35–46,
doi:10.1145/53990.53994.
T. Reps, S. Horwitz, M. Sagiv & G. Rosay (1994):
Speeding up Slicing.
In: Proceedings of the 2nd ACM SIGSOFT Symposium on the Foundations of Software Engineering,
pp. 11–20,
doi:10.1145/193173.195287.
T. Reps & G. Rosay (1995):
Precise interprocedural chopping.
In: Proceedings of the 3rd ACM SIGSOFT Symposium on the Foundations of Software Engineering,
pp. 41–52,
doi:10.1145/222124.222138.
Mark Weiser (1981):
Program Slicing.
In: Proceedings of the 5th International Conference on Software Engineering,
pp. 439–449.
eptcs@eptcs.org