Java model checking
暂无分享,去创建一个
David L. Dill | Ulrich Stern | David Y. W. Park | Jens Ulrik Skakkebæk | D. Dill | D. Y. Park | U. Stern | J. U. Skakkebæk
[1] Ulrich Stern,et al. Algorithmic techniques in verification by explicit state enumeration , 1997 .
[2] Claudio Demartini,et al. A deadlock detection tool for concurrent Java programs , 1999, Softw. Pract. Exp..
[3] Derek L. Bruening. Systematic testing of multithreaded Java programs , 1999 .
[4] LamportLeslie. Time, clocks, and the ordering of events in a distributed system , 1978 .
[5] Frank Yellin,et al. The Java Virtual Machine Specification , 1996 .
[6] Stephen N. Freund,et al. Type-based race detection for Java , 2000, PLDI '00.
[7] Edith Schonberg,et al. Detecting access anomalies in programs with critical sections , 1991, PADD '91.
[8] Patrice Godefroid,et al. Model checking for programming languages using VeriSoft , 1997, POPL '97.
[9] Laurie Hendren,et al. Jimple: Simplifying Java Bytecode for Analyses and Transformations , 1998 .
[10] Claudio Demartini,et al. dSPIN: A Dynamic Extension of SPIN , 1999, SPIN.
[11] Radu Iosif,et al. A deadlock detection tool for concurrent Java programs , 1999, Softw. Pract. Exp..
[12] Pierre Wolper,et al. Reliable Hashing without Collosion Detection , 1993, CAV.
[13] Gerard J. Holzmann,et al. The Model Checker SPIN , 1997, IEEE Trans. Software Eng..
[14] Patrice Godefroid,et al. Partial-Order Methods for the Verification of Concurrent Systems , 1996, Lecture Notes in Computer Science.
[15] David L. Dill,et al. The Murphi Verification System , 1996, CAV.
[16] Michael Burrows,et al. Eraser: a dynamic data race detector for multi-threaded programs , 1997, TOCS.
[17] Klaus Havelund,et al. Model checking JAVA programs using JAVA PathFinder , 2000, International Journal on Software Tools for Technology Transfer.
[18] James C. Corbett,et al. Bandera: extracting finite-state models from Java source code , 2000, ICSE.
[19] Michael Burrows,et al. Eraser: a dynamic data race detector for multithreaded programs , 1997, TOCS.