Volume 18, Number 1, March 2011
Volume 18, Number 2, June 2011
Volume 18, Numbers 3-4, December 2011 Special Issue on Selected Topics in Automated Software Engineering:
Specification Mining and Defect Detection
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
- Mats Per Erik Heimdahl, Gabriele Taentzer:
Guest editorial: special issue on selected topics in automated software engineering - Specification mining and defect detection.
- Hao Zhong, Lu Zhang, Tao Xie, Hong Mei:
Inferring specifications for resources from natural language API documentation.
- Andrzej Wasylkowski, Andreas Zeller:
Mining temporal specifications from object usage.
- Suresh Thummalapenta, Tao Xie:
Alattin: mining alternative patterns for defect detection.
- Jyotirmoy V. Deshmukh, E. Allen Emerson, Sriram Sankaranarayanan:
Symbolic modular deadlock analysis.
- Sangmok Han, David R. Wallace, Robert C. Miller:
Code completion of multiple keywords from abbreviated input.