Automated Software Engineering, Volume 18

Volume 18, Number 1, March 2011

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

Volume 18, Number 2, June 2011

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

Volume 18, Numbers 3-4, December 2011

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

Last update Thu May 23 18:17:18 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page