Noritaka Kobayashi, Tatsuhiro Tsuchiya, Tohru Kikuno. Applicability of Non-Specification-Based Approaches to Logic Testing for Software. In 2001 International Conference on Dependable Systems and Networks (DSN 2001) (formerly: FTCS), 1-4 July 2001, Göteborg, Sweden, Proceedings. pages 337-346, IEEE Computer Society, 2001. [doi]
Abstract is missing.