Christophe Gaston, Pascale Le Gall, Nicolas Rapin, Assia Touil. Symbolic Execution Techniques for Test Purpose Definition. 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 1-18, Springer, 2006. [doi]
Abstract is missing.