19
Literaturverzeichnis
[CDH+00] J.C. Corbet, M.B. Dwyer, J. Hatcliff, S. Laubach, C.S. Pasarenu, Robby, H.
Zheng, Bandera: Extracting Finite-state Models from Java Source Code. In
Proc. 22nd International Conference on Software Engineering, June 2000.
[BHPV01] Brat, G., Havelund, K., Park, S. J., Visser, W., Java Path Finder – Second
Generation of a Java Model Checker, 2001.
[HJL+01]
Dwyer, M., Hatcliff, J., Joehannes, R., Laubach, S., Pasareanu, C., Vissser,
W., Zheng, H.,
Tool-supported Program Abstraction for Finite-state
Verification, in Proc. of the 23rd International Conference on Software
Engineering, May, 2001.
[PDV01]
C.S. Pasareanu, M.B. Dwyer, W. Visser,
Finding Feasible Counter-
Examples when Model Checking Abstracted Java Programs, TACAS 2001,
pp. 284-298.
[VBHP00] W. Visser, G. Brat, K. Havelund, S. Park, Model Checking Programms. In
Proc.
15th
IEEE
Conference
on
Automated
Software
Engineering,
September 2000.
[VPP00]
W. Visser, S. Park, J. Penix, Using Predicate Abstaction to Reduce Object-
Oriented Programms for Model Checking. In. Proc. of the
rd
ACM
SIGSOFT Workshop on Formal Methods in Software Proctice, August
2000.
|
