Guest Editorial
Industrial Applications of Software Synthesis via Category Theory—Case Studies Using Specware
Automatic Generation of Test Oracles—From Pilot Studies to Application
Modeling Architecture Description Languages Using AML
Evolving Object-Oriented Designs with Refactorings
Software Engineering Books for Desert Island Reading