An Overview of the Runtime Verification Tool Java PathExplorer: Special Issue on Selected Papers from the First International Workshop on Runtime Verification Held in Paris, July 2001 (RV'01).

By Havelund Klaus   Roşu Grigore  

Formal Methods in System Design, Vol. 24, Iss. 2, 2004-03 ,pp. : 189-215

Springer Publishing Company

Access to resources Recommend Favorite

Heuristics for model checking Java programs

By Groce Alex   Visser Willem  

International Journal on Software Tools for Technology Transfer, Vol. 6, Iss. 4, 2004-08 ,pp. : 260-276

Springer Publishing Company

Access to resources Recommend Favorite

Specifying and checking method call sequences of Java programs

By Cheon Yoonsik   Perumandla Ashaveena  

Software Quality Journal, Vol. 15, Iss. 1, 2007-03 ,pp. : 7-25

Springer Publishing Company

Access to resources Recommend Favorite

Run-Time Support for the Automatic Parallelization of Java Programs

By Chan Bryan   Abdelrahman Tarek S.  

The Journal of Supercomputing, Vol. 28, Iss. 1, 2004-04 ,pp. : 91-117

Springer Publishing Company

Access to resources Recommend Favorite

An attribute-grammar framework for specifying the accessibility in Java programs

By Chan J.-T.   Yang W.  

Computer Languages, Vol. 28, Iss. 2, 2002-12 ,pp. : 203-235

Elsevier

Access to resources Recommend Favorite