Frances E. Allen (1970):
Control flow analysis.
SIGPLAN Not. 5,
pp. 1–19,
doi:10.1145/390013.808479.
Andreas Both, Dirk Richter (2010):
Automatic Component Protocol Generation and Verification of Components.
In: 36th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA),
pp. 94–101,
doi:10.1109/SEAA.2010.30.
Mauro Baluda, Pietro Braione, Giovanni Denaro & Mauro Pezzè (2010):
Structural coverage of feasible code.
In: Proceedings of the 5th Workshop on Automation of Software Test,
AST '10.
ACM,
New York, NY, USA,
pp. 59–66,
doi:10.1145/1808266.1808275.
Stefan Berner, Roland Weber & Rudolf K. Keller (2007):
Enhancing Software Testing by Judicious Use of Code Coverage Information.
In: Proceedings of the 29th international conference on Software Engineering,
ICSE '07.
IEEE Computer Society,
Washington, DC, USA,
pp. 612–620,
doi: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.
In: Proceedings of the 2004 IEEE/ACM International conference on Computer-aided design,
ICCAD '04.
IEEE Computer Society,
Washington, DC, USA,
pp. 198–203,
doi:10.1109/ICCAD.2004.1382571.
Dejvuth Suwimonteerabuth, Stefan Schwoon, Javier Esparza (2005):
jMoped: A Java Bytecode Checker Based on Moped.
In: Tools and Algorithms for the Construction and Analysis of Systems,
Lecture Notes in Computer Science (LNCS) 3440.
Springer-Verlag Berlin Heidelberg,
pp. 541–545.
http://www.springerlink.com/content/32p4x035k3rll5nh/.
Dirk Richter (2009):
Rekursionspraezise Intervallanalysen.
In: 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.
In: 15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS),
Maria Taferl.
http://www.vmars.tuwien.ac.at/php/pserver/extern/download.php?fileid=1726.
Mechelle Gittens, Keri Romanufa, David Godwin & Jason Racicot (2006):
All code coverage is not created equal: a case study in prioritized code coverage.
In: Proceedings of the 2006 conference of the Center for Advanced Studies on Collaborative research,
CASCON '06.
ACM,
New York, NY, USA,
doi: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.
In: 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.
In: Proceedings of the 3rd international workshop on Advances in model-based testing,
A-MOST '07.
ACM,
New York, NY, USA,
pp. 1–11,
doi: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,
pp. 9:1–9:32,
doi: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),
pp. 122 – 138,
doi: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.
eptcs@eptcs.org