| 2006 | Qualitative Modeling for Requirements Engineering. | Tim Menzies, Julian Richardson |
| 2006 | Service Engineering: Linking Business and IT. | Tiziana Margaria, Bernhard Steffen |
| 2006 | Using Jaza to Animate RoZ Specifications of UML Class Diagrams. | Yves Ledru |
| 2006 | Pseudo-Exhaustive Testing for Software. | D. Richard Kuhn, Vadim Okun |
| 2006 | A Reverse-Engineering Approach to Understanding B Specifications with UML Diagrams. | Akram Idani, Yves Ledru, Didier Bert |
| 2006 | What Have We Not Learned about Teaching Programming? | David Gries |
| 2006 | An Empirical Study on the Relationship between Defective Requirements and Test Failures. | Robert W. Ferguson, Giuseppe Lami |
| 2006 | Analyzing and Systematizing Current Traceability Schemas. | Angelina Espinoza, Pedro Pablo Alarcn, Juan Garbajosa |
| 2006 | An Optimized Grid-Based, OGC Standards-Compliant Collaborative Software System for Serving NASA Geospatial Data. | Aijun Chen, Liping Di, Yaxing Wei, Yuqi Bai, Yang Liu |
| 2006 | The 'Grand Challenge' in Informatics: Engineering Software-Intensive Systems. | Manfred Broy |
| 2006 | Detecting Deadlock, Double-Free and Other Abuses in a Million Lines of Linux Kernel Source. | Peter T. Breuer, Simon Pickin, Mara M. Larrondo-Petrie |
| 2006 | Cross-Platform Development: Software that Lasts. | Judith Bishop, R. Nigel Horspool |
| 2006 | SPDW: A Software Development Process Performance Data Warehousing Environment. | Karin Becker, Duncan Dubugras A. Ruiz, Virginia S. Cunha, Taisa C. Novello, Franco Vieira e Souza |
| 2006 | The Role of Empirical Study in Software Engineering. | Victor R. Basili |
| 2006 | Towards Open-World Software: Issue and Challenges. | Luciano Baresi, Elisabetta Di Nitto, Carlo Ghezzi |
| 2006 | Retrenching the Purse: Finite Exception Logs, and Validating the Small. | Richard Banach, Michael Poppleton, Susan Stepney |
| 2006 | A Verified Formal Model of a VC Generator. | R. D. Arthan |
| 2006 | An Eclipse Plug-in for the Java PathFinder Runtime Verification System. | Francesca Arcelli Fontana, Claudia Raibulet, Ivano Rigo, Luigi Ubezio |
| 2006 | Software Project Management Tools: Making a Practical Decision Using AHP. | Norita B. Ahmad, Phillip A. Laplante |
| 2006 | Understanding Change Requests to Predict Software Impact. | Christopher Ackermann, Mikael Lindvall |
| 2006 | Formal Z Specifications of Several Flat Role-Based Access Control Models. | Ali E. Abdallah, Etienne J. Khayat |
| 2005 | The Quantitative Safety Assessment for Safety-Critical Software. | Yangyang Yu, Barry W. Johnson |
| 2005 | Software Engineering Sub-Ontology for Specific Software Development. | Pornpit Wongthongtham, Elizabeth Chang, Chan Cheah, Tharam S. Dillon |
| 2005 | Towards Software Quality Economics for Defect-Detection Techniques. | Stefan Wagner |
| 2005 | A Provable Algorithm for Reconfiguration in Embedded Reconfigurable Computing. | Phan Cong Vinh, Jonathan P. Bowen |