Testing a Safety-Critical Application

John C. Knight, Aaron G. Cass, Antonio M. Fernández, Kevin G. Wika. Testing a Safety-Critical Application. In ISSTA. pages 199, 1994. [doi]

Abstract

Abstract is missing.