4 works on record
Tests and Proofs
Abstract State Machines 2003 : Advances in Theory and Practice
Testing Software and Systems
Rigorous State-Based Methods