Monitoring Java Programs with Java PathExplorer
Open Access
- 1 October 2001
- journal article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 55 (2) , 200-217
- https://doi.org/10.1016/s1571-0661(04)00253-1
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- AMPHION: automatic programming for subroutine librariesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Model checking JAVA programs using JAVA PathFinderInternational Journal on Software Tools for Technology Transfer, 2000
- Model checking programsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2000
- Generating statechart designs from scenariosPublished by Association for Computing Machinery (ACM) ,2000
- Runtime Checking of Multithreaded Applications with Visual ThreadsPublished by Springer Nature ,2000
- The Temporal Rover and the ATG RoverPublished by Springer Nature ,2000
- Using Runtime Analysis to Guide Model Checking of Java ProgramsPublished by Springer Nature ,2000
- The Maude SystemPublished by Springer Nature ,1999
- EraserACM Transactions on Computer Systems, 1997
- The temporal logic of programsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1977