loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
30th Annual IEEE/NASA Software Engineering Workshop SEW-30 (SEW'06)
An Eclipse Plug-in for the Java PathFinder Runtime Verification System
Columbia, Maryland
April 24-April 28
ISBN: 0-7695-2624-1
ASCII Text
x 
 
Francesca Arcelli, Claudia Raibulet, Ivano Rigo, Luigi Ubezio, "An Eclipse Plug-in for the Java PathFinder Runtime Verification System," Software Engineering Workshop, Annual IEEE/NASA Goddard, pp. 142-152, 30th Annual IEEE/NASA Software Engineering Workshop SEW-30 (SEW'06), 2006.
 
 
BibTex
x
 
@article{ 10.1109/SEW.2006.8,
author = {Francesca Arcelli and Claudia Raibulet and Ivano Rigo and Luigi Ubezio},
title = {An Eclipse Plug-in for the Java PathFinder Runtime Verification System},
journal ={Software Engineering Workshop, Annual IEEE/NASA Goddard},
volume = {0},
year = {2006},
issn = {1550-6215},
pages = {142-152},
doi = {http://doi.ieeecomputersociety.org/10.1109/SEW.2006.8},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Software Engineering Workshop, Annual IEEE/NASA Goddard
TI - An Eclipse Plug-in for the Java PathFinder Runtime Verification System
SN - 1550-6215
SP142
EP152
A1 - Francesca Arcelli,
A1 - Claudia Raibulet,
A1 - Ivano Rigo,
A1 - Luigi Ubezio,
PY - 2006
KW - null
VL - 0
JA - Software Engineering Workshop, Annual IEEE/NASA Goddard
ER -
 
Francesca Arcelli, Universita degli Studi di Milano-Bicocca, Italy
Claudia Raibulet, Universita degli Studi di Milano-Bicocca, Italy
Ivano Rigo, Universita degli Studi di Milano-Bicocca, Italy
Luigi Ubezio, Universita degli Studi di Milano-Bicocca, Italy
Java PathFinder (JPF) is an explicit state model checker developed by the Automated Software Engineering Group of NASA of the AMES Research Center (California). Eclipse is probably the most important and used Java Integrated Developing Environment (IDE) and not only; it is a framework/environment that can be easily extended with new functionalities by exploiting its plug-in mechanism. Through a JPF plug-in for Eclipse it is possible to integrate powerful model checking and testing capabilities into the development environment. This paper presents the re-design of the standalone version of JPF towards an Eclipse plug-in exploiting and outlining in this way the advantages of an open source development.
Citation:
Francesca Arcelli, Claudia Raibulet, Ivano Rigo, Luigi Ubezio, "An Eclipse Plug-in for the Java PathFinder Runtime Verification System," sew, pp.142-152, 30th Annual IEEE/NASA Software Engineering Workshop SEW-30 (SEW'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.