Symbolic search-based testing (2011)

First Author: Baars A
Attributed to:  RE-COST: REducing the Cost of Oracles for Software Testing funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1109/ase.2011.6100119

Publication URI: http://dx.doi.org/10.1109/ase.2011.6100119

Type: Conference/Paper/Proceeding/Abstract

ISBN: 978-1-4577-1638-6