Hmm. Anyone in Illinois feel like going? Supposedly her tool finds bugs in source trees by looking for rules in comments and then checking the software against those rules. Her paper says she found one bug in wine this way...
http://webtools.uiuc.edu/calendar/Calendar?calId=504&eventId=75432&A... http://www.sosp2007.org/papers/sosp054-tan.pdf
Supposedly her tool finds bugs in source trees by looking for rules in comments and then checking the software against those rules. Her paper says she found one bug in wine this way...
I sure didn't any reference to the actual bug, did you? --Juan
On 10/29/07, Juan Lang juan.lang@gmail.com wrote:
Supposedly her tool finds bugs in source trees by looking for rules in comments and then checking the software against those rules. Her paper says she found one bug in wine this way...
I sure didn't any reference to the actual bug, did you?
I didn't look too hard. We could email her and ask...
-
Dan Kegel -
Juan Lang