| 713 | -- | 732 | Dongfeng Wang, Farokh B. Bastani, I-Ling Yen. Automated Aspect-Oriented Decomposition of Process-Control Systems for Ultra-High Dependability Assurance |
| 733 | -- | 753 | Dag I. K. Sjøberg, Jo Erskine Hannay, Ove Hansen, Vigdis By Kampenes, Amela Karahasanovic, Nils-Kristian Liborg, Anette C. Rekdal. A Survey of Controlled Experiments in Software Engineering |
| 754 | -- | 766 | Kjetil Moløkken-Østvold, Magne Jørgensen. A Comparison of Software Project Overruns-Flexible versus Sequential Development Models |
| 767 | -- | 784 | Bill Mitchell. Resolving Race Conditions in Asynchronous Partial Order Scenarios |
| 785 | -- | 800 | Yasushi Shinjo, Calton Pu. Achieving Efficiency and Portability in Systems Software: A Case Study on POSIX-Compliant Multithreaded Programs |