A C/C++ front end for the Daikon dynamic invariant detection system

Thesis (M.Eng. and S.B.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2002.

Bibliographic Details
Main Author:	Morse, Benjamin, 1979-
Other Authors:	Michael D. Ernst.
Format:	Thesis
Language:	eng
Published:	Massachusetts Institute of Technology 2006
Subjects:	Electrical Engineering and Computer Science.
Online Access:	http://hdl.handle.net/1721.1/29653

Internet

http://hdl.handle.net/1721.1/29653