Improving test suites via generated specifications

Thesis (M.Eng. and S.B.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2002. === Includes bibliographical references (p. 69-75). === by Michael Harder. === M.Eng.and S.B.

Bibliographic Details
Main Author: Harder, Michael (Michael James), 1979-
Other Authors: Michael D. Ernst.
Format: Others
Language:English
Published: Massachusetts Institute of Technology 2014
Subjects:
Online Access:http://hdl.handle.net/1721.1/87232