Automated Software Engineering（ASE ）的DECEMBER 2013, ISSUE 4论文列表

卷期号： December 2013, issue 4

发布时间：

卷期年份： 2013

卷期官网： https://link.springer.com/journal/10515/volumes-and-issues/20-4

Editorial introduction

The WTE+ framework: automated construction and runtime adaptation of service mashups

Finding conclusion stability for selecting the best effort predictor in software effort estimation

Verification of complex dynamic data tree with mu-calculus

Guest editors introduction: special issue on innovative automated software engineering tools

A tool environment for quality assurance based on the Eclipse Modeling Framework

Design and evaluation of the ModelHealth toolchain for continuity of care web services

Automated verification of code automatically generated from Simulink®

C2O configurator: a tool for guided decision-making

Editorial: ASE 2012 conference trip report

Automated verification of model transformations based on visual contracts

Maintainability defects detection and correction: a multi-objective approach

Identification of generalization refactoring opportunities

EA-Analyzer: automating conflict detection in a large set of textual aspect-oriented requirements

Guest editors introduction: special issue on innovative automated software engineering tools—part #2

Experiences using Tedeso: an extensible and interoperable model-based testing platform

mbeddr: instantiating a language workbench in the embedded software domain

Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis

Supporting model-driven development using a process-centered software engineering environment

A framework for semi-automated software evolution analysis composition