Sciweavers

4 search results - page 1 / 1
» Checkmate: A Generic Static Analyzer of Java Multithreaded P...
Sort
View
SEFM
2009
IEEE
14 years 29 days ago
Checkmate: A Generic Static Analyzer of Java Multithreaded Programs
—In this paper we present ¼heckmate, a generic static analyzer of Java multithreaded programs based on the interpretation theory. It supports all the most relevant features of J...
Pietro Ferrara
COMPSAC
1999
IEEE
13 years 10 months ago
A Generic Approach of Static Analysis for Detecting Runtime Errors in Java Programs
This paper presents a generic approach to statically analyze Java programs in order to detect potential errors (bugs). We discuss a framework that supports our approach and carrie...
Xiaoping Jia, Sotiris Skevoulis
VMCAI
2004
Springer
13 years 11 months ago
Applying Jlint to Space Exploration Software
Abstract. Java is a very successful programming language which is also becoming widespread in embedded systems, where software correctness is critical. Jlint is a simple but highly...
Cyrille Artho, Klaus Havelund
ICSE
2008
IEEE-ACM
14 years 7 months ago
jPredictor: a predictive runtime analysis tool for java
JPREDICTOR is a tool for detecting concurrency errors in JAVA programs. The JAVA program is instrumented to emit property-relevant events at runtime and then executed. The resulti...
Feng Chen, Traian-Florin Serbanuta, Grigore Rosu