Symbolic search-based testing

Arthur I. Baars, Mark Harman, Youssef Hassoun, Kiran Lakhotia, Phil McMinn, Paolo Tonella, Tanja E. J. Vos. Symbolic search-based testing. In Perry Alexander, Corina S. Pasareanu, John G. Hosking, editors, 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), Lawrence, KS, USA, November 6-10, 2011. pages 53-62, IEEE, 2011. [doi]

Authors

Arthur I. Baars

This author has not been identified. Look up 'Arthur I. Baars' in Google

Mark Harman

This author has not been identified. It may be one of the following persons: Look up 'Mark Harman' in Google

Youssef Hassoun

This author has not been identified. Look up 'Youssef Hassoun' in Google

Kiran Lakhotia

This author has not been identified. Look up 'Kiran Lakhotia' in Google

Phil McMinn

This author has not been identified. Look up 'Phil McMinn' in Google

Paolo Tonella

This author has not been identified. Look up 'Paolo Tonella' in Google

Tanja E. J. Vos

This author has not been identified. Look up 'Tanja E. J. Vos' in Google