Search results for: Thomas A. Alspaugh
Lecture Notes in Computer Science > Architecting Dependable Systems V > Part 3. Verification and Validation > 225-247
The Journal of Systems & Software > 2012 > 85 > 7 > 1479-1494
Empirical Software Engineering > 2011 > 16 > 4 > 460-486
Information and Software Technology > 2008 > 50 > 3 > 198-220
The Journal of Systems & Software > 2006 > 79 > 10 > 1370-1378