Feng Duan, Yu Lei, Linbin Yu, Raghu N. Kacker, D. Richard Kuhn. Improving IPOG's vertical growth based on a graph coloring scheme. In Eighth IEEE International Conference on Software Testing, Verification and Validation, ICST 2015 Workshops, Graz, Austria, April 13-17, 2015. pages 1-8, IEEE Computer Society, 2015. [doi]
Abstract is missing.