External Links

    Journal: Automated Software Engineering

    Volume 20, Issue 4

    497 -- 498Robert J. Hall. Editorial introduction
    499 -- 542Anna Hristoskova, Bruno Volckaert, Filip De Turck. The WTE+ framework: automated construction and runtime adaptation of service mashups
    543 -- 567Jacky Keung, Ekrem Kocaguneli, Tim Menzies. Finding conclusion stability for selecting the best effort predictor in software effort estimation
    569 -- 612María-del-Mar Gallardo, David Sanán. Verification of complex dynamic data tree with mu-calculus

    Volume 20, Issue 3

    297 -- 298John Grundy, John G. Hosking. Guest editors introduction: special issue on innovative automated software engineering tools - part #2
    299 -- 337Roberto Silveira Silva Filho, William M. Hasling, Christof J. Budnik, Monica McKenna. Experiences using Tedeso: an extensible and interoperable model-based testing platform
    339 -- 390Markus Völter, Daniel Ratiu, Bernd Kolb, Bernhard Schätz. mbeddr: instantiating a language workbench in the embedded software domain
    391 -- 425Corina 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 -- 461Rita 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 -- 496Giacomo Ghezzi, Harald C. Gall. A framework for semi-automated software evolution analysis composition

    Volume 20, Issue 2

    137 -- 139John Grundy, John G. Hosking. Guest editors introduction: special issue on innovative automated software engineering tools
    141 -- 184Thorsten Arendt, Gabriele Taentzer. A tool environment for quality assurance based on the Eclipse Modeling Framework
    185 -- 235Ståle Walderhaug. Design and evaluation of the ModelHealth toolchain for continuity of care web services
    237 -- 264Colin O'Halloran. Automated verification of code automatically generated from Simulink®
    265 -- 296Alexander Nöhrer, Alexander Egyed. C2O configurator: a tool for guided decision-making

    Volume 20, Issue 1

    1 -- 4Robert J. Hall. Editorial: ASE 2012 conference trip report
    5 -- 46Esther Guerra, Juan de Lara, Manuel Wimmer, Gerti Kappel, Angelika Kusel, Werner Retschitzegger, Johannes Schönböck, Wieland Schwinger. Automated verification of model transformations based on visual contracts
    47 -- 79Ali Ouni, Marouane Kessentini, Houari A. Sahraoui, Mounir Boukadoum. Maintainability defects detection and correction: a multi-objective approach
    81 -- 110Hui Liu, Zhendong Niu, Zhiyi Ma, Weizhong Shao. Identification of generalization refactoring opportunities
    111 -- 135Alberto Sardinha, Ruzanna Chitchyan, Nathan Weston, Phil Greenwood, Awais Rashid. EA-Analyzer: automating conflict detection in a large set of textual aspect-oriented requirements
    runs on