JPREDICTOR: A predictive runtime analysis tool for java

Feng Chen, Traian Florin Şerbǎnutǎ, Grigore Roşu

Research output: Chapter in Book/Report/Conference proceedingConference contribution


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 resulting execution trace is collected and analyzed by JPREDICTOR, which extracts a causality relation sliced using static analysis and refined with lock-atomicity information. The resulting abstract model, a hybrid of a partial order and atomic blocks, is then exhaustively analyzed against the property and errors with counter-examples are reported to the user. Thus, JPREDICTOR can "predict" errors that did not happen in the observed execution, but which could have happened under a different thread scheduling. The analysis technique employed in JPREDICTOR is fully automatic, generic (works for any trace property), sound (produces no false alarms) but it is incomplete (may miss errors). Two common types of errors are investigated in this paper: dataraces and atomicity violations. Experiments show that JPREDICTOR is precise (in its predictions), effective and efficient. After the code producing them was executed only once, JPREDICTOR found all the errors reported by other tools. It also found errors missed by other tools, including static race detectors, as well as unknown errors in popular systems like Tomcat and the Apache FTP server.

Original languageEnglish (US)
Title of host publicationICSE'08
Subtitle of host publicationProceedings of the 30th International Conference on Software Engineering 2008
Number of pages10
StatePublished - 2008
Event30th International Conference on Software Engineering 2008, ICSE'08 - Leipzig, Germany
Duration: May 10 2008May 18 2008

Publication series

NameProceedings - International Conference on Software Engineering
ISSN (Print)0270-5257


Other30th International Conference on Software Engineering 2008, ICSE'08


  • Predictive runtime analysis
  • Runtime verification
  • Sliced causality

ASJC Scopus subject areas

  • Software


Dive into the research topics of 'JPREDICTOR: A predictive runtime analysis tool for java'. Together they form a unique fingerprint.

Cite this