Ismail Berrada, Richard Castanet, Patrick Félix, Aziz Salah. Test Case Minimization for Real-Time Systems Using Timed Bound Traces. In M. Ümit Uyar, Ali Y. Duale, Mariusz A. Fecko, editors, Testing of Communicating Systems, 18th IFIP TC6/WG6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006, Proceedings. Volume 3964 of Lecture Notes in Computer Science, pages 289-305, Springer, 2006. [doi]
Abstract is missing.