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