Using Runtime Analysis to Guide Model Checking of Java Programs-Reference-Cited by-同舟云学术

Using Runtime Analysis to Guide Model Checking of Java Programs

Published:2000 Issue: Volume: Page:245-264
ISSN:0302-9743
Container-title:SPIN Model Checking and Software Verification
language:
Short-container-title:

Author:

Havelund Klaus

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/10722468_15

Reference32 articles.

1. Bensalem, S., Ganesh, V., Lakhnech, Y., Mu~noz, C., Owre, S., Rueß, H., Rushby, J., Rusu, V., Saïdi, H., Shankar, N., Singerman, E., Tiwari, A.: An Overview of SAL. In: Proceedings of the 5th NASA Langley Formal Methods Workshop (June 2000)

2. Lecture Notes in Computer Science;S. Bensalem,1998

3. Bruening, D.L.: Systematic Testing of Multithreaded Java Programs. Master’s thesis, MIT (1999)

4. Lecture Notes in Computer Science;T. Cattel,1998

5. Corbett, J.: Constructing Compact Models of Concurrent Java Programs. In: Proceedings of the ACM Sigsoft Symposium on Software Testing and Analysis, Clearwater Beach, Florida (1998)

Cited by 50 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Petri Net Unfolding-Based Detection and Replay of Program Deadlocks;IEEE Access;2024

2. A Formal Verification Framework for Runtime Assurance;Lecture Notes in Computer Science;2024

3. Sound Dynamic Deadlock Prediction in Linear Time;Proceedings of the ACM on Programming Languages;2023-06-06

4. Dynamic Race Detection with O(1) Samples;Proceedings of the ACM on Programming Languages;2023-01-09

5. HyperMonitor: A Python Prototype for Hyper Predictive Runtime Verification;Lecture Notes in Computer Science;2023