| 791 | -- | 792 | Rachida Dssouli, Ferhat Khendek. Preface |
| 793 | -- | 803 | Robert M. Hierons, Hasan Ural. UIO sequence based checking sequences for distributed test architectures |
| 805 | -- | 814 | Claude Jard. Synthesis of distributed testers from true-concurrency models of reactive systems |
| 815 | -- | 835 | M. Ümit Uyar, Mariusz A. Fecko, Ali Y. Duale, Paul D. Amer, Adarshpal S. Sethi. Experience in developing and testing network protocol software using FDTs |
| 837 | -- | 852 | Ana R. Cavalli, Caroline Gervy, Svetlana Prokopenko. New approaches for passive testing using an Extended Finite State Machine specification |
| 853 | -- | 864 | Ahmed Khoumsi. Testing distributed real-time systems in the presence of inaccurate clock synchronizations |
| 865 | -- | 871 | Dong Wang, Ruibing Hao, David Lee. Fault detection in Rule-based Software systems |
| 873 | -- | 888 | Purnendu Sinha, Da Qi Ren. Formal verification of dependable distributed protocols |