SpecTackle: Inferring Partial Specifications Through Constraint-Based Dynamic Analysis

Bibliographic Details
Main Author:	Wedig, Sean A.
Language:	English
Published:	The Ohio State University / OhioLINK 2012
Subjects:	Computer Science specification inference dynamic inference tests to specs constraint-based dynamic analysis formal methods
Online Access:	http://rave.ohiolink.edu/etdc/view?acc_num=osu1345515046

Description
Description not available.

Similar Items