Hiroshi Date, Michinobu Nakao, Kazumi Hatayama. A parallel sequential test generation system DESCARTES based on real-valued logic simulation. In 4th Asian Test Symposium (ATS 95), November 23-24, 1995. Bangalore, India. pages 252-258, IEEE Computer Society, 1995. [doi]
Abstract is missing.