External Links

    Journal: Automated Software Engineering

    Volume 18, Issue 3-4

    225 -- 226Mats Per Erik Heimdahl, Gabriele Taentzer. Guest editorial: special issue on selected topics in automated software engineering - Specification mining and defect detection
    227 -- 261Hao Zhong, Lu Zhang, Tao Xie, Hong Mei. Inferring specifications for resources from natural language API documentation
    263 -- 292Andrzej Wasylkowski, Andreas Zeller. Mining temporal specifications from object usage
    293 -- 323Suresh Thummalapenta, Tao Xie. Alattin: mining alternative patterns for defect detection
    325 -- 362Jyotirmoy V. Deshmukh, E. Allen Emerson, Sriram Sankaranarayanan. Symbolic modular deadlock analysis
    363 -- 398Sangmok Han, David R. Wallace, Robert C. Miller. Code completion of multiple keywords from abbreviated input

    Volume 18, Issue 2

    115 -- 116Robert J. Hall. Editorial: Controlling change
    117 -- 161Khaled Mahbub, George Spanoudakis, Andrea Zisman. A monitoring approach for runtime service discovery
    163 -- 197Marko Rosenmüller, Norbert Siegmund, Sven Apel, Gunter Saake. Flexible feature binding in software product lines
    199 -- 224Marouane Kessentini, Houari A. Sahraoui, Mounir Boukadoum. Example-based model-transformation testing

    Volume 18, Issue 1

    1 -- 3Robert J. Hall. Editorial: ASE 2010 Conference trip report
    5 -- 38Christos Kloukinas, Sergio Yovine. A model-based approach for multiple QoS in scheduling: from models to implementation
    39 -- 76Jing Liu, Samik Basu, Robyn R. Lutz. Compositional model checking of software product lines using variation point obligations
    77 -- 114Deepak Dhungana, Paul Grünbacher, Rick Rabiser. The DOPLER meta-tool for decision-oriented variability modeling: a multiple case study
    runs on