Testing a safety-critical application

• Authors:

• John C. Knight;Aaron G. Cass;Antonio M. Fernández;Kevin G. Wika

• Affiliations:

• Univ. of Virginia, Charlottesville;Univ. of Virginia, Charlottesville;Univ. of Virginia, Charlottesville;Univ. of Virginia, Charlottesville

• Venue:
• ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
• Year:
• 1994