Cong Tian, Shaoying Liu, Shin Nakajima. Utilizing Model Checking for Automatic Test Case Generation from Conjunctions of Predicates. In Fourth International IEEE Conference on Software Testing, Verification and Validation, ICST 2012, Berlin, Germany, 21-25 March, 2011, Workshop Proceedings. pages 304-309, IEEE Computer Society, 2011. [doi]
Abstract is missing.