29 Oct
2007
29 Oct
'07
8:43 p.m.
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