| 987 | -- | 988 | Huimin Lin, Hans-Dieter Ehrich, T. H. Tse. Editorial |
| 989 | -- | 1000 | Kai-Yuan Cai, Yong-Chao Li, Ke Liu. Optimal and adaptive testing for software reliability assessment |
| 1001 | -- | 1010 | Tsong Yueh Chen, Fei-Ching Kuo, Robert G. Merkel, Sebastian P. Ng. Mirror adaptive random testing |
| 1011 | -- | 1025 | Peter Dybjer, Qiao Haiyan, Makoto Takeyama. Verifying Haskell programs by combining testing, model checking and interactive theorem proving |
| 1027 | -- | 1036 | Wolfgang Grieskamp, Nikolai Tillmann, Margus Veanes. Instrumenting scenarios in a model-driven development environment |
| 1037 | -- | 1047 | Bernard Wong. The software evaluation framework SEF extended |