Browsing by Author "Yanes, Andres"
Now showing items 1-1 of 1
-
A Dynamic Framework For Testing The Synchronization Behavior Of Java Monitors
Yanes, Andres (Computer Science & Engineering, 2007-08-23)A Java monitor is a specialized class that is used to synchronize the behavior of threads in a Java program. The monitors in a Java program must be adequately tested to ensure the correctness of the program. In this thesis ...