TMPA-2013 Conference Proceedings
OOAD LAB
Android security
Software verification and validation
The essence of the VivaCore code analysis library
CS527: Advanced Topics in Software Engineering
Palma Lara Gildardo_Evaluation Program
Simseer and Bugwise - Web Services for Binary-level Software Similarity and Defect Detection
4
Software quality with Code Contracts and PEX - CodeCamp16oct2010
Case Tools
49594067 CS1403 CASE Tools Lab Manual