| 2008 | Searching for Cognitively Diverse Tests: Towards Universal Test Diversity Metrics. | Robert Feldt, Richard Torkar, Tony Gorschek, Wasif Afzal |
| 2008 | Selective Homeworkless Reviews. | Eitan Farchi, Shmuel Ur |
| 2008 | Experience with a Concurrency Bugs Benchmark. | Yaniv Eytani, Rachel Tzoref, Shmuel Ur |
| 2008 | Extended Finite State Machine Based Test Derivation Driven by User Defined Faults. | Khaled El-Fakih, Anton Kolomeez, Svetlana Prokopenko, Nina Yevtushenko |
| 2008 | A Workload Model for Benchmarking BPEL Engines. | George Din, Klaus-Peter Eckert, Ina Schieferdecker |
| 2008 | Using context descriptions and property definition patterns for software formal verification. | Philippe Dhaussy, Julien Auvray, Stphane de Belloy, Frdric Boniol, Eric Landel |
| 2008 | Test generation and execution for security rules in temporal logic. | Vianney Darmaillacq, Jean-Luc Richier, Roland Groz |
| 2008 | Security policy testing using vulnerability exploit chaining. | Vianney Darmaillacq |
| 2008 | Improving Automated Testing of Multi-threaded Software. | Ayla Dantas, Francisco Vilar Brasileiro, Walfredo Cirne |
| 2008 | Heterogeneous colimits. | Mihai Codescu, Till Mossakowski |
| 2008 | On the Predictability of Random Tests for Object-Oriented Software. | Ilinca Ciupa, Alexander Pretschner, Andreas Leitner, Manuel Oriol, Bertrand Meyer |
| 2008 | Distributed In Vivo Testing of Software Applications. | Matt Chu, Christian Murphy, Gail E. Kaiser |
| 2008 | Querying UML Models using OCL and Prolog: A Performance Study. | Joanna Chimiak-Opoka, Michael Felderer, Chris Lenz, Christian Lange |
| 2008 | Use of invariant properties to evaluate the results of fault-injection-based robustness testing of protocol implementations. | Ana R. Cavalli, Eliane Martins, Anderson Nunes Paiva Morais |
| 2008 | Verification of UML/OCL Class Diagrams using Constraint Programming. | Jordi Cabot, Robert Claris, Daniel Riera |
| 2008 | A Benchmarking Suite for Measurement-Based WCET Analysis Tools. | Sven Bnte, Michael Tautschnig |
| 2008 | The spin on guided random search in verification. | Thang H. Bui, Albert Nymeyer |
| 2008 | Model-Based Testing of Automotive Systems. | Eckard Bringmann, Andreas Krmer |
| 2008 | Relation between Depth of Inheritance Tree and Number of Methods to Test. | Lydie du Bousquet, Muhammad Rabee Shaheen |
| 2008 | Simulation of Multi-Formalism Models with ModHel'X. | Frdric Boulanger, Ccile Hardebolle |
| 2008 | A universal management and monitoring process for testing. | Kees Blokland |
| 2008 | Designing and Building a Software Test Organization. | Bruce Benton |
| 2008 | Efficient Test Data Generation for Variables with Complex Dependencies. | Armin Beer, Stefan Mohacsi |
| 2008 | A Methodology for UML Models V&V. | Andrea Baruzzo, Marco Comini |
| 2008 | Structural Testing of Executables. | Sbastien Bardin, Philippe Herrmann |