Sign in
From Object-Z Specifications to ClassBench Test Suites.
David A. Carrington
Ian MacColl
Jason McDonald
Leesa Murray
Paul A. Strooper
Published in:
Softw. Test. Verification Reliab. (2000)
Keyphrases
</>
test suite
model checker
test suite reduction
test cases
object model
model checking
d objects
moving objects
formal verification
test case generation
error rate
open source
machine learning
formal methods
specification language
java programs
database systems