2008 |
7 | EE | Bruce W. Weide,
Murali Sitaraman,
Heather K. Harton,
Bruce M. Adcock,
Paolo Bucci,
Derek Bronish,
Wayne D. Heym,
Jason Kirschenbaum,
David Frazier:
Incremental Benchmarks for Software Verification Tools and Techniques.
VSTTE 2008: 84-98 |
2007 |
6 | EE | Bruce M. Adcock,
Paolo Bucci,
Wayne D. Heym,
Joseph E. Hollingsworth,
Timothy J. Long,
Bruce W. Weide:
Which pointer errors do students make?
SIGCSE 2007: 9-13 |
2005 |
5 | EE | Bruce W. Weide,
Paolo Bucci,
Wayne D. Heym,
Murali Sitaraman,
Giorgio Rizzoni:
Issues in performance certification for high-level automotive control software.
ACM SIGSOFT Software Engineering Notes 30(4): 1-6 (2005) |
2002 |
4 | EE | Paolo Bucci,
Wayne D. Heym,
Timothy J. Long,
Bruce W. Weide:
Algorithms and object-oriented programming: bridging the gap.
SIGCSE 2002: 302-306 |
2000 |
3 | | Murali Sitaraman,
Steven Atkinson,
Gregory Kulczycki,
Bruce W. Weide,
Timothy J. Long,
Paolo Bucci,
Wayne D. Heym,
Scott M. Pike,
Joseph E. Hollingsworth:
Reasoning about Software-Component Behavior.
ICSR 2000: 266-283 |
1995 |
2 | EE | Bruce W. Weide,
Wayne D. Heym,
Joseph E. Hollingsworth:
Reverse Engineering of Legacy Code Exposed.
ICSE 1995: 327-331 |
1992 |
1 | | Stuart H. Zweben,
Wayne D. Heym,
Jon Kimmich:
Systematic Testing of Data Abstractions Based on Software Specifications.
Softw. Test., Verif. Reliab. 1(4): 39-55 (1992) |