Browse Dept. of Computer Science by Subject "object-oriented programs"
Now showing items 1-1 of 1
(2007-05)State-space exploration is the essence of model checking and an increasingly popular approach for automating test generation. A key issue in exploration of object-oriented programs is handling the program state, in particular ...