Simseer - A Software Similarity Web Service
Integration Testing
Why we cannot ignore Functional Programming
Stoop 416-lsp
Object Oriented Design Principles Arnon Rotem-Gal-Oz Product Line Architect.
Is your code solid
Object-oriented design principles
Software Metrics. Views on Testing Categories of Metrics Review of several OO metrics CEN 5076 Class 7 – 10/17.
1 Towards Automatic Discovery of Deviations in Binary Implementations with Applications to Error Detection and Fingerprint Generation David Brumley, Juan.
Machine Obstructed Proof Nick Benton Microsoft Research.
1 Lecture 9 Recursive and r.e. language classes –representing solvable and unsolvable problems Proofs of closure properties –for the set of recursive (solvable)
Model Checking of Concurrent Software: Current Projects Thomas Reps University of Wisconsin.