| 297 | -- | 298 | John Grundy, John G. Hosking. Guest editors introduction: special issue on innovative automated software engineering tools - part #2 |
| 299 | -- | 337 | Roberto Silveira Silva Filho, William M. Hasling, Christof J. Budnik, Monica McKenna. Experiences using Tedeso: an extensible and interoperable model-based testing platform |
| 339 | -- | 390 | Markus Völter, Daniel Ratiu, Bernd Kolb, Bernhard Schätz. mbeddr: instantiating a language workbench in the embedded software domain |
| 391 | -- | 425 | Corina S. Pasareanu, Willem Visser, David H. Bushnell, Jaco Geldenhuys, Peter C. Mehlitz, Neha Rungta. Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis |
| 427 | -- | 461 | Rita Suzana Pitangueira Maciel, Ramon Araújo Gomes, Ana Patrícia Fontes Magalhães, Bruno Carreiro da Silva, João Pedro B. Queiroz. Supporting model-driven development using a process-centered software engineering environment |
| 463 | -- | 496 | Giacomo Ghezzi, Harald C. Gall. A framework for semi-automated software evolution analysis composition |