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]
@inproceedings{Zhang00:15, title = {Specification Analysis and Test Data Generation by Solving Boolean Combinations of Numeric Constraints}, author = {Jian Zhang}, year = {2000}, doi = {10.1109/APAQ.2000.883800}, url = {http://doi.ieeecomputersociety.org/10.1109/APAQ.2000.883800}, tags = {testing, analysis, constraints, data-flow, data-flow analysis}, researchr = {https://researchr.org/publication/Zhang00%3A15}, cites = {0}, citedby = {0}, pages = {267-274}, booktitle = {1st Asia-Pacific Conference on Quality Software (APAQS 2000), 30-31 October 2000, Hong Kong, China, Proceedings}, publisher = {IEEE Computer Society}, isbn = {0-7695-0825-1}, }