1. Object connectivity and full abstraction for a concurrent calculus of classes;Ábrahám,2004
2. Observability, connectivity, and replay in a sequential calculus of classes;Ábrahám,2005
3. Test-Driven Development: A Practical Guide;Astels,2003
4. A theory of specification-based testing for object-oriented software;Barbey,1996
5. Clown as a testbed for concurrent object-oriented concepts;Battiston,2001