State Extensions for Java PathFinder.
Uloženo v:
| Název: | State Extensions for Java PathFinder. |
|---|---|
| Autoři: | Gvero, Tihomir, Gligoric, Milos, Lauterburg, Steven, d'Amorim, Marcelo, Marinov, Darko, Khurshid, Sarfraz |
| Zdroj: | ICSE: International Conference on Software Engineering; 2008, p863-866, 4p, 2 Diagrams |
| Témata: | JAVA programming language, COMPUTER software, SOFTWARE engineering, INFORMATION technology, OBJECT-oriented programming languages, PROGRAMMING languages |
| Abstrakt: | Java PathFinder (JPF) is an explicit-state model checker for Java programs. JPF implements a back-trackable Java Virtual Machine (JVM) that provides non-deterministic choices and control over thread scheduling. JPF is itself implemented in Java and runs on top of a host JVM. JPF represents the JVM state of the program being checked and performs three main operations on this state representation: byte code execution, state backtracking, and state comparison. This paper summarizes four extensions that we have developed to the JPF state representation and operations. One extension provides a new functionality to JPF, and three extensions improve performance of JPF in various scenarios. Some of our code has already been included in publicly available JPF. [ABSTRACT FROM AUTHOR] |
| Copyright of ICSE: International Conference on Software Engineering is the property of Association for Computing Machinery and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) | |
| Databáze: | Complementary Index |
Buďte první, kdo okomentuje tento záznam!