Inferring Specifications to Detect Errors in Code

Authors:

Mana Taghdiri

Publication Venue:

19th International Conference on Automated Software Engineering (ASE), Linz, Austria (Best paper award)

When Published:

Sep 20 2004

Attachment	Size
ASE04-taghdiri.pdf	81.9 KB

by anonymous

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