Jian Zhang. Specification Analysis and Test Data Generation by Solving Boolean Combinations of Numeric Constraints. In 1st Asia-Pacific Conference on Quality Software (APAQS 2000), 30-31 October 2000, Hong Kong, China, Proceedings. pages 267-274, IEEE Computer Society, 2000. [doi]