TestEra: Specification-based Testing of Java Programs Using SAT

Authors:

Sarfraz Khurshid and Darko Marinov

Publication Venue:

Automated Software Engineering Journal, Volume 11, Number 4, October 2004. (Journal version of ASE 2001 paper)

When Published:

Oct 1 2004

Attachment	Size
testera.pdf	250.63 KB

by khurshid

The development of this site is supported by the National Science Foundation under Computing Research Infrastructure Grant No. 0707612.

Theme originally designed by Chris Herberte

Search