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