CS 267 Reading Assignments
- Week 10:
- "DART: Directed Automated Random Testing,"
Patrice Godefroid, Nils Klarlund, and Koushik Sen,
In Proceedings of the
ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation (PLDI 2005).
Available
here
- "CUTE: A Concolic Unit Testing Engine for C,"
Koushik Sen, Darko Marinov, and Gul Agha.
In Proceedings of
the 2005 European Software Engineering Conference (ESEC) and
the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE)
(ESEC/FSE'05).
Available
here
- Week 9:
-
Thomas Ball and Sriram K. Rajamani.
"The SLAM Toolkit"
In Proceedings of the
13th International Conference on Computer Aided Verification
(CAV'01)
Available here
-
Thomas Ball and Sriram K. Rajamani.
"Automatically Validating Temporal Safety Properties of Interfaces"
In Proceedings of he SPIN 2001 Workshop on Model Checking of Software, LNCS 2057, pp. 103-122.
Available here
- Week 8:
-
Edmund Clarke,
Daniel Kroening and
Flavio Lerda.
"A Tool for Checking ANSI-C Programs."
In Proceedings of the
10th International Conference on
Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2004)
Kurt Jensen and Andreas Podelski, eds.,
LNCS 2988, pp. 168-176, Sringer, 2004.
Available here
-
A. Biere, A. Cimatti, E. Clarke, and Y. Zhu,
"Symbolic Model Checking without BDDs."
In Proceedings of the
5th International Conference on
Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2004)
LNCS 1579, Sringer, 1999.
Available here
- Aysu Betin-Can, Tevfik Bultan, Mikael Lindvall, Benjamin Lux, and
Stefan Topp. "Application of Design for Verification with Concurrency
Controllers to Air Traffic Control Software."
In Proceedings of the 20th IEEE
International Conference on Automated Software Engineering (ASE 2005),
pp. 14-23, Long Beach, California, USA, November 7-11, 2005.
Available here
- Tevfik Bultan, Richard Gerber and William Pugh.
"Symbolic Model Checking of Infinite State Systems Using Presburger
Arithmetic."
In Proceedings of the
9th International Conference on Computer Aided Verification (CAV 1997),
Orna Grumberg, ed.,
LNCS 1254, pp. 400-411, Springer, Haifa, Israel, June 22-25, 1997.
Available here
- Week 7:
-
W. Visser, K. Havelund, G. Brat, S. Park and F. Lerda.
"Model Checking Programs."
Automated Software Engineering Journal
Volume 10, Number 2, April 2003.
Available here
-
“CMC: A pragmatic approach to model checking real code,” danlal
Musuvathi, David Y.W. Park, Andy Chou, Dawson R. Engler, David
L. Dill. Operating System Design and Implementation (OSDI) 2002.
Available here
-
“Using Model Checking to Find Serious File System Errors,” unfeng Yang,
Paul Twohey, Dawson Engler, and Madanlal Musuvathi, Operating System Design
and Implementation (OSDI) 2004.
Available here
- Weeks 5 and 6:
- Weeks 2, 3 and 4:
- Week 1: