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