Browsing Theses and Dissertations(library) by Author "Hernandez, Monica Maria"
Now showing items 1-1 of 1
-
Testing Java Monitors By State Space Exploration
Hernandez, Monica Maria (Computer Science & Engineering, 2007-08-23)Java monitors are classes that are intended to be accessed by multiple threads at the same time. Detecting synchronization faults in Java Monitors is considerably more challenging than testing regular classes, due to the ...