The spin on guided random search in verification

Thang H. Bui, Albert Nymeyer. The spin on guided random search in verification. In First International Conference on Software Testing Verification and Validation, ICST 2008, Lillehammer, Norway, April 9-11, 2008, Workshops Proceedings. pages 170-177, IEEE Computer Society, 2008. [doi]

Abstract

Abstract is missing.