ACM Transactions on Software Engineering and Methodology, Volume 22

Volume 22, Number 1, February 2013

Volume 22, Number 2, March 2013

Volume 22, Number 3, July 2013

In Memoriam Fault Detection and Localization Formal Methods Modeling and Design

Volume 22, Number 4, October 2013

Testing, debugging, and error handling, formal methods, lifecycle concerns, evolution and maintenance
a service of Schloss Dagstuhl - Leibniz Center for Informatics