Dongjiang You, Sanjai Rayadurgam, Michael W. Whalen, Mats Per Erik Heimdahl, Gregory Gay. Efficient observability-based test generation by dynamic symbolic execution. In 26th IEEE International Symposium on Software Reliability Engineering, ISSRE 2015, Gaithersbury, MD, USA, November 2-5, 2015. pages 228-238, IEEE, 2015. [doi]
Abstract is missing.