Tomohiko Takagi, Zengo Furukawa. Test Case Generation Technique Based on Extended Coverability Trees. In Teruhisa Hochin, Roger Y. Lee, editors, 13th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2012, Kyoto, Japan, August 8-10, 2012. pages 301-306, IEEE Computer Society, 2012. [doi]
Abstract is missing.