@article(basicblock,
 author       = "Frances E. Allen",
 year         = "1970",
 title        = "Control flow analysis",
 journal      = "SIGPLAN Not.",
 volume       = "5",
 pages        = "1--19",
 doi          = "10.1145/390013.808479",
)
@inproceedings(dirkanbo,
 author       = "{Andreas Both, Dirk Richter}",
 year         = "2010",
 title        = "Automatic Component Protocol Generation and Verification of Components",
 booktitle    = "36th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA)",
 pages        = "94--101",
 doi          = "10.1109/SEAA.2010.30",
)
@inproceedings(structcover,
 author       = "Mauro Baluda and Pietro Braione and Giovanni Denaro and Mauro Pezz\`{e}",
 year         = "2010",
 title        = "Structural coverage of feasible code",
 booktitle    = "Proceedings of the 5th Workshop on Automation of Software Test",
 series       = "AST '10",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "59--66",
 doi          = "10.1145/1808266.1808275",
)
@inproceedings(enhancing,
 author       = "Stefan Berner and Roland Weber and Rudolf K. Keller",
 year         = "2007",
 title        = "Enhancing Software Testing by Judicious Use of Code Coverage Information",
 booktitle    = "Proceedings of the 29th international conference on Software Engineering",
 series       = "ICSE '07",
 publisher    = "IEEE Computer Society",
 address      = "Washington, DC, USA",
 pages        = "612--620",
 doi          = "10.1109/ICSE.2007.34",
)
@manual(framac,
 author       = "Pascal Cuoq and Virgile Prevosto",
 title        = "Frama-C's value analysis plug-in",
 organization = "CEA LIST, Software Reliability Laboratory",
 address      = "Saclay, F-91191",
)
@inproceedings(tempspec,
 author       = "A. Das and P. Basu and A. Banerjee and P. Dasgupta and P. P. Chakrabarti and C. Rama Mohan and L. Fix and R. Armoni",
 year         = "2004",
 title        = "Formal verification coverage: computing the coverage gap between temporal specifications",
 booktitle    = "Proceedings of the 2004 IEEE/ACM International conference on Computer-aided design",
 series       = "ICCAD '04",
 publisher    = "IEEE Computer Society",
 address      = "Washington, DC, USA",
 pages        = "198--203",
 doi          = "10.1109/ICCAD.2004.1382571",
)
@inproceedings(jmopedreport,
 author       = "{Dejvuth Suwimonteerabuth, Stefan Schwoon, Javier Esparza}",
 year         = "2005",
 title        = "jMoped: A Java Bytecode Checker Based on Moped",
 booktitle    = "Tools and Algorithms for the Construction and Analysis of Systems",
 series       = "Lecture Notes in Computer Science (LNCS)",
 volume       = "3440",
 publisher    = "Springer-Verlag Berlin Heidelberg",
 pages        = "541--545",
 note         = "\url {http://www.springerlink.com/content/32p4x035k3rll5nh/}",
)
@inproceedings(kps09dirk,
 author       = "{Dirk Richter}",
 year         = "2009",
 title        = "Rekursionspraezise Intervallanalysen",
 booktitle    = "15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS)",
 address      = "Maria Taferl",
 note         = "\url {http://www.vmars.tuwien.ac.at/php/pserver/extern/download.php?fileid=1726}",
)
@inproceedings(kps09rai,
 author       = "{Dirk Richter, Raimund Kirner, Wolf Zimmermann}",
 year         = "2009",
 title        = "On Undecidability Results of Real Programming Languages",
 booktitle    = "15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS)",
 address      = "Maria Taferl",
 note         = "\url {http://www.vmars.tuwien.ac.at/php/pserver/extern/download.php?fileid=1726}",
)
@misc(ccc,
 author       = "Chaos Computer Club e.V.",
 title        = "Analyse einer Regierungs-Malware",
 url          = "http://www.ccc.de/system/uploads/76/original/staatstrojaner-report23.pdf",
)
@inproceedings(gittens,
 author       = "Mechelle Gittens and Keri Romanufa and David Godwin and Jason Racicot",
 year         = "2006",
 title        = "All code coverage is not created equal: a case study in prioritized code coverage",
 booktitle    = "Proceedings of the 2006 conference of the Center for Advanced Studies on Collaborative research",
 series       = "CASCON '06",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 doi          = "10.1145/1188966.1188981",
)
@book(myer,
 author       = "{Glenford J. Myers}",
 year         = "2011",
 title        = "The Art of Software Testing",
 publisher    = "3nd edition, John Wiley and Sons, ISBN 1118031962",
)
@inproceedings(branch,
 author       = "{Ira D. Baxter}",
 year         = "2001",
 title        = "Branch Coverage For Arbitrary Languages Made Easy: Transformation Systems to the Rescue",
 booktitle    = "IW APA TV2/IC SE2001",
 note         = "\url {http://techwell.com/sites/default/files/articles/XUS1173972file1_0.pdf}",
)
@inbook(moped,
 author       = "{Javier Esparza, Stefan Schwoon}",
 year         = "2001",
 title        = "A BDD-based model checker for recursive programs",
 publisher    = "Lecture Notes in Computer Science, 2102:324--336, Springer-Verlag Berlin Heidelberg",
)
@misc(regehr,
 author       = "{John Regehr}",
 title        = "{Who Verifies the Verifiers?}",
 howpublished = "\url {http://blog.regehr.org/archives/370}",
 note         = "Personal Blog entry of Prof. John Regehr, Computer Science Department, University of Utah, USA",
)
@inproceedings(graybox,
 author       = "Nicolas Kicillof and Wolfgang Grieskamp and Nikolai Tillmann and Victor Braberman",
 year         = "2007",
 title        = "Achieving both model and code coverage with automated gray-box testing",
 booktitle    = "Proceedings of the 3rd international workshop on Advances in model-based testing",
 series       = "A-MOST '07",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "1--11",
 doi          = "10.1145/1291535.1291536",
)
@book(Kie06,
 author       = "{S. Kiefer, S. Schwoon, D. Suwimonteerabuth}",
 year         = "2006",
 title        = "Introduction to Remopla",
 publisher    = "Institute of Formal Methods in Computer Science, University of Stuttgart",
)
@book(Sch02,
 author       = "{S. Schwoon}",
 year         = "2002",
 title        = "Model-Checking Pushdown Systems",
 publisher    = "Dissertation, Technical University of Munich",
 note         = "\url {http://tumb1.biblio.tu-muenchen.de/publ/diss/in/2002/schwoon.html}",
)
@article(revisited,
 author       = "Arnab Sinha and Pallab Dasgupta and Bhaskar Pal and Sayantan Das and Prasenjit Basu and P. P. Chakrabarti",
 year         = "2009",
 title        = "Design intent coverage revisited",
 journal      = "ACM Trans. Des. Autom. Electron. Syst.",
 volume       = "14",
 pages        = "9:1--9:32",
 doi          = "10.1145/1455229.1455238",
)
@book(muchnick,
 author       = "{Steven S. Muchnick}",
 year         = "1997",
 title        = "Advanced compiler design and implementation",
 publisher    = "San Francisco, Calif.: Morgan Kaufmann Publishers",
)
@article(polyrange,
 author       = "Zhendong Su and David Wagner",
 year         = "2005",
 title        = "A class of polynomially solvable range constraints for interval analysis without widenings",
 journal      = "Theoretical Computer Science",
 volume       = "345",
 number       = "1",
 pages        = "122 -- 138",
 doi          = "10.1016/j.tcs.2005.07.035",
 note         = "Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2004)",
)
@book(gcov,
 author       = "{William Von Hagen}",
 year         = "2008",
 title        = "The Definitive Guide to GCC",
 publisher    = "APress, ISBN 1590595858",
)