Search results for: Alessandro Orso
Lecture Notes in Computer Science > Engineering Distributed Objects > Architectural Reasoning > 129-144
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Static Analysis > 117-133
Software: Practice and Experience > 43 > 4 > 465 - 478
IEEE Transactions on Computers > 2012 > 61 > 1 > 87 - 100
Software Testing, Verification and Reliability > 21 > 3 > 195 - 214