0928-8910

Automated Software Engineering (ASE) - December 2011, issue 3-4 论文列表

本期论文列表
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