Guest editorial: special issue on selected topics in automated software engineering
Inferring specifications for resources from natural language API documentation
Mining temporal specifications from object usage
Alattin: mining alternative patterns for defect detection
Symbolic modular deadlock analysis
Code completion of multiple keywords from abbreviated input
Editorial: Controlling change
A monitoring approach for runtime service discovery
Flexible feature binding in software product lines
Example-based model-transformation testing
Editorial: ASE 2010 Conference trip report
A model-based approach for multiple QoS in scheduling: from models to implementation
Compositional model checking of software product lines using variation point obligations
The DOPLER meta-tool for decision-oriented variability modeling: a multiple case study