Article,

Guest Editors Introduction: Special Issue on Innovative Automated Software Engineering Tools, Part Two

, and .
Automated Software Engineering, 20 (3): 297--298 (September 2013)
DOI: 10.1007/s10515-013-0126-y

Abstract

The five accepted papers appearing in this second part of the special issue underwent rigorous refereeing, major and minor revisions and then were selected for their scientific contributions. Coincidentally the papers cover an interesting range of ASE tool application areas, including model-based testing, embedded software engineering, symbolic execution and model checking, process-centred environments, and software evolution. Several of these innovative tools adopt service-based and compositional approaches to tool integration. Most have been validated not only on academic problems but also with significant industrial applications and software teams.

Tags

Users

  • @flint63

Comments and Reviews