References

1

E.M. Clarke, O. Grumberg, and D.E. Long. Model checking and abstraction. ACM Transactions on Programming Languages and Systems, 16(5):1512-1542, September 1994.

2

James C. Corbett, Matthew B. Dwyer, John Hatcliff, Shawn Laubach, Corina S. Pasareanu, Robby, and Hongjun Zheng. Bandera : Extracting finite-state models from Java source code. In Proceedings of the 22nd International Conference on Software Engineering, June 2000.

3

Matthew B. Dwyer, George S. Avrunin, and James C. Corbett. Property specification patterns for finite-state verification. In Mark Ardis, editor, Proceedings of the Second Workshop on Formal Methods in Software Practice, pages 7-15, March 1998.

4

Matthew B. Dwyer and Corina S. Pasareanu. Model checking generic container implementations. In Proceedings of the 1st Symposium on Generic Programming, May 1998.

5

Matthew B. Dwyer, Corina S. Pasareanu, and James C. Corbett. Translating Ada programs for model checking : A tutorial. Technical Report 98-12, Kansas State University, Department of Computing and Information Sciences, 1998.

6

M.B. Dwyer, G.S. Avrunin, and J.C. Corbett. A System of Specification Patterns. |http://www.cis.ksu.edu/santos/spec-patterns|, 1998.

7

M.B. Dwyer, G.S. Avrunin, and J.C. Corbett. Patterns in property specifications for finite-state verification. In Proceedings of the 21st International Conference on Software Engineering, May 1999.

8

David Paul Grove. Effective Interprocedural Optimization of Object-oriented Languages. PhD thesis, University of Washington, 1998.

9

John Hatcliff, James C. Corbett, Matthew B. Dwyer, Stefan Sokolowski, and Hongjun Zheng. A formal study of slicing for multi-threaded programs with JVM concurrency primitives. In Proceedings of the 6th International Static Analysis Symposium (SAS'99), September 1999.

10

John Hatcliff, Matthew B. Dwyer, and Hongjun Zheng. Slicing software for model construction. Higher-order and Symbolic Computation, 2000. to appear.

11

M. Huth and M. Ryan. Logic in Computer Science: Modelling and Reasoning about Systems. Cambridge University Press, 1999. To appear.

12

Reto Kramer. iContract--the Java Design by Contract tool. In Proceedings of Technology of Object-Oriented Languages and Systems, TOOLS-USA. IEEE Press, 1998.

13

Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer-Verlag, 1991.

14

John Penix, Willem Visser, Eric Engstrom, Aaron Larson, and Nichloas Weininger. Verification of time partitioning in the deos scheduler kernel. In Proceedings of the 22nd International Conference on Software Engineering, June 2000.

15

Raja Valle-Rai, Laurie Hendren, Vijay Sundaresan, Patrick Lam, Etienne Gagnon, and Phong Co. Soot - a Java optimization framework. In Proceedings of CASCON'99, November 1999.