Title: Model checkers in software testing
Subjects: Computer systems, Testing, Verification, Computer software