Houdini, an Annotation Assistant for ESC/Java
暂无分享,去创建一个
[1] Patrick Cousot,et al. Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints , 1977, POPL.
[2] Nevin Heintze,et al. Set-based analysis of ML programs , 1994, LFP '94.
[3] Cormac Flanagan,et al. Effective Static Debugging via Compential Set-Based Analysis , 1997 .
[4] Hassen Saïdi,et al. Construction of Abstract State Graphs with PVS , 1997, CAV.
[5] K. Rustan M. Leino,et al. Checking Java Programs via Guarded Commands , 1999, ECOOP Workshops.
[6] William G. Griswold,et al. Quickly detecting relevant program invariants , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.
[7] K. Rustan M. Leino,et al. ESC/Java User's Manual , 2000 .
[8] Stephen N. Freund,et al. Type-based race detection for Java , 2000, PLDI '00.
[9] William R. Bush,et al. A static analyzer for finding dynamic programming errors , 2000 .
[10] William R. Bush,et al. A static analyzer for finding dynamic programming errors , 2000, Softw. Pract. Exp..
[11] Cormac Flanagan,et al. Avoiding exponential explosion: generating compact verification conditions , 2001, POPL '01.
[12] K. Rustan M. Leino,et al. Annotation inference for modular checkers , 2001, Inf. Process. Lett..