On test repair using symbolic execution

Brett Daniel, Tihomir Gvero, Darko Marinov. On test repair using symbolic execution. In Paolo Tonella, Alessandro Orso, editors, Proceedings of the Nineteenth International Symposium on Software Testing and Analysis, ISSTA 2010, Trento, Italy, July 12-16, 2010. pages 207-218, ACM, 2010. [doi]

Authors

Brett Daniel

This author has not been identified. Look up 'Brett Daniel' in Google

Tihomir Gvero

This author has not been identified. Look up 'Tihomir Gvero' in Google

Darko Marinov

This author has not been identified. Look up 'Darko Marinov' in Google