Robert M. Poston

• Automating specification-based software testing