| 2006 | Towards a BPEL unit testing framework. | Philip Mayer, Daniel Lbke |
| 2006 | Adaptive random testing with randomly translated failure region. | Johannes Mayer |
| 2006 | Performance assertions for mobile devices. | Raimondas Lencevicius, Edu Metz |
| 2006 | Testing aspect-oriented programming Pointcut Descriptors. | Otvio Augusto Lazzarini Lemos, Fabiano Cutigi Ferrari, Paulo Csar Masiero, Cristina Videira Lopes |
| 2006 | Making testing product lines more efficient by improving the testability of product line architectures. | Ronny Kolb, Dirk Muthig |
| 2006 | Run-time monitoring of architecturally significant behaviors using behavioral profiles and aspects. | Kimmo Kiviluoma, Johannes Koskinen, Tommi Mikkonen |
| 2006 | Analyzing architectural styles with alloy. | Jung Soo Kim, David Garlan |
| 2006 | A classification of concurrency bugs in java benchmarks by developer intent. | M. Erkan Keremoglu, Serdar Tasiran, Tayfun Elmas |
| 2006 | When only random testing will do. | Dick Hamlet |
| 2006 | Subdomain testing of units and systems with state. | Dick Hamlet |
| 2006 | Dynamic inference of abstract types. | Philip J. Guo, Jeff H. Perkins, Stephen McCamant, Michael D. Ernst |
| 2006 | Path-oriented random testing. | Arnaud Gotlieb, Matthieu Petit |
| 2006 | Architecture-driven platform independent deterministic replay for distributed hard real-time systems. | Holger Giese, Stefan Henkler |
| 2006 | A foundation for behavioural conformance in software product line architectures. | Dario Fischbein, Sebastin Uchitel, Vctor A. Braberman |
| 2006 | Effective typestate verification in the presence of aliasing. | Stephen J. Fink, Eran Yahav, Nurit Dor, G. Ramalingam, Emmanuel Geay |
| 2006 | Multi-environment software testing on the grid. | Alexandre Duarte, Gustavo Wagner, Francisco Vilar Brasileiro, Walfredo Cirne |
| 2006 | Modular verification of code with SAT. | Greg Dennis, Felix Sheng-Ho Chang, Daniel Jackson |
| 2006 | Uniform random sampling of traces in very large models. | Alain Denise, Marie-Claude Gaudel, Sandrine-Dominique Gouraud, Richard Lassaigne, Sylvain Peyronnet |
| 2006 | Towards self-adaptive service-oriented architectures. | Giovanni Denaro, Mauro Pezz, Davide Tosi, Daniela Schilling |
| 2006 | Inference and enforcement of data structure consistency specifications. | Brian Demsky, Michael D. Ernst, Philip J. Guo, Stephen McCamant, Jeff H. Perkins, Martin C. Rinard |
| 2006 | DSD-Crasher: a hybrid analysis tool for bug finding. | Christoph Csallner, Yannis Smaragdakis |
| 2006 | Coverage and adequacy in software product line testing. | Myra B. Cohen, Matthew B. Dwyer, Jiangfan Shi |
| 2006 | Breaking up is hard to do: an investigation of decomposition for assume-guarantee reasoning. | Jamieson M. Cobleigh, George S. Avrunin, Lori A. Clarke |
| 2006 | Object distance and its application to adaptive random testing of object-oriented programs. | Ilinca Ciupa, Andreas Leitner, Manuel Oriol, Bertrand Meyer |
| 2006 | Formal verification of concurrent software: two case studies. | Hana Chockler, Eitan Farchi, Ziv Glazberg, Benny Godlin, Yarden Nir-Buchbinder, Ishai Rabinovitz |