A State Exploration-Based Approach to Testing Java Monitors

2006 17th International Symposium on Software Reliability Engineering ◽

10.1109/issre.2006.9 ◽

2006 ◽

Cited By ~ 3

Author(s):

Yu Lei ◽

Richard Carver ◽

David Kung ◽

Vidur Gupta ◽

Monica Hernandez

Download Full-text