J. Srinivasan

Automated testing from specifications

Nancy G. Leveson, Jayakanth Srinivasan, N. Leveson, 2002, Proceedings. The 21st Digital Avionics Systems Conference.