Publications

Search
Export 5 results:
Author Title Type [ Year(Asc)]
Filters: Keyword is program verification  [Clear All Filters]
2004
Sharma A, Martin JR, Anand N, Cukier M, Sanders WH.  2004.  Ferret: a host vulnerability checking tool. :389-394.
Memon AM, Porter A, Yilmaz C, Nagarajan A, Schmidt D, Natarajan B.  2004.  Skoll: distributed continuous quality assurance. Software Engineering, 2004. ICSE 2004. Proceedings. 26th International Conference on. :459-468.