C. Demartini, R. Iosif, and R. Sisto. A deadlock detection tool for concurrent Java programs. Software - Practice and Experience, July 1999. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Specification, Verification, and Synthesis of Concurrency.. - Yavuz-Kahveci, Bultan (2001) (Correct)
Program Model Checking as a New Trend - Havelund, Visser (2000) (1 citation) (Correct)
TestEra: A Novel Framework for Automated Testing of Java.. - Marinov, Khurshid (2001) (5 citations) (Correct)
Program Model Checking as a New Trend - Havelund, Visser (2000) (1 citation) (Correct)
Synthesizing Monitors for Safety Properties - Havelund, Rosu (2002) (12 citations) (Correct)
TestEra: Specification-based Testing of Java Programs Using SAT - Sarfraz Khurshid And (2004) (1 citation) (Correct)
Unknown - (Correct)
ACM International Symposium on Software Testing and.. - Korat Automated Testing (Correct)
Dynamically Discovering Likely Program Invariants - Ernst (2000) (108 citations) (Correct)
Efficient Monitoring of Safety Properties - Havelund, Rosu (2002) (1 citation) (Correct)
Synthesizing Monitors for Safety Properties - Klaus Havelund And (2002) (12 citations) (Correct)
Test Input Generation with Java PathFinder - Visser, Pasareanu, Khurshid (Correct)
Formal JVM Code Analysis in JavaFAN - Azadeh Farzan Jose (2004) (1 citation) (Correct)
Rewriting-based Techniques for Runtime Verification - Rosu, Havelund (1 citation) (Correct)
Verifying Time Partitioning in the DEOS Scheduling Kernel - Penix, Visser, Park, al. (2004) (Correct)
Flow Analysis for Verifying Properties of Concurrent .. - Dwyer, Clarke.. (2004) (Correct)
Flow Analysis for Verifying Properties of Concurrent .. - Dwyer, Clarke.. (2004) (Correct)
Korat: Automated Testing Based on Java Predicates - Boyapati, Khurshid, Marinov (2002) (27 citations) (Correct)
TestEra: A Novel Framework for Testing Java Programs - Khurshid, Marinov (2003) (1 citation) (Correct)
Software Tools for Technology Transfer manuscript No. - Will Be Inserted (Correct)
Korat: Automated Testing Based on Java Predicates - Chandrasekhar Boyapati Sarfraz (2002) (27 citations) (Correct)
Automated, Compositional and Iterative Deadlock Detection - Chaki, Clarke, Ouaknine.. (Correct)
Rewriting-based Techniques for Runtime Verification - Rosu, Havelund (1 citation) (Correct)
Dynamically Discovering Likely Program Invariants - Ernst (2000) (108 citations) (Correct)
Software Tools for Technology Transfer manuscript No. - Will Be Inserted (Correct)
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC