| 2010 | A Dynamic Behaviour and Reliability Evaluation Method for Applications That Are Based on Asynchronous Processing Nodes. | Marko Palviainen |
| 2010 | YETI on the Cloud. | Manuel Oriol, Faheem Ullah |
| 2010 | GraphSeq: A Graph Matching Tool for the Extraction of Mobility Patterns. | Minh Duc Nguyen, Hlne Waeselynck, Nicolas Rivire |
| 2010 | MbSRT2: Model-Based Selective Regression Testing with Traceability. | Leila Naslavsky, Hadar Ziv, Debra J. Richardson |
| 2010 | The Effectiveness of Regression Testing Techniques in Reducing the Occurrence of Residual Defects. | Panduka Nagahawatte, Hyunsook Do |
| 2010 | Holistic Model-Based Testing for Business Information Systems. | Michael Mlynarski |
| 2010 | Mutation at System and Functional Levels. | Pedro Reales Mateo, Macario Polo Usaola, Jeff Offutt |
| 2010 | Cleansing Test Suites from Coincidental Correctness to Enhance Fault-Localization. | Wes Masri, Rawad Abou Assi |
| 2010 | Towards a Testing Methodology for Reactive Systems: A Case Study of a Landing Gear Controller. | Laya Madani, Virginia Papailiopoulou, Ioannis Parissis |
| 2010 | Timed Moore Automata: Test Data Generation and Model Checking. | Helge Lding, Jan Peleska |
| 2010 | Integrating Model-Based Testing with Evolutionary Functional Testing. | Felix F. Lindlar, Andreas Windisch, Joachim Wegener |
| 2010 | Towards Security Vulnerability Detection by Source Code Model Checking. | Keqin Li |
| 2010 | Using Formal Methods and Testability Concepts in the Avionics Systems Validation and Verification (V&V) Process. | Odile Laurent |
| 2010 | A Measurement Framework for Assessing Model-Based Testing Quality. | Peter B. Lakey |
| 2010 | A Demo on Using Visualization to Aid Run-Time Verification of Dynamic Service Systems. | Jarkko Kuusijrvi |
| 2010 | Migrating Autonomic Self-Testing to the Cloud. | Tariq M. King, Annaji Sharma Ganti |
| 2010 | Automated Bug Neighborhood Analysis for Identifying Incomplete Bug Fixes. | Mijung Kim, Saurabh Sinha, Carsten Grg, Hina Shah, Mary Jean Harrold, Mangala Gowri Nanda |
| 2010 | Elaborating Software Test Processes and Strategies. | Jussi Kasurinen |
| 2010 | Applications of Optimization to Logic Testing. | Garrett Kent Kaminski, Paul Ammann |
| 2010 | Generating Feasible Transition Paths for Testing from an Extended Finite State Machine (EFSM) with the Counter Problem. | Abdul Salam Kalaji, Robert M. Hierons, Stephen Swift |
| 2010 | Performance Testing of GUI Applications. | Milan Jovic, Matthias Hauswirth |
| 2010 | When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving. | Elisabeth Jbstl, Martin Weiglhofer, Bernhard K. Aichernig, Franz Wotawa |
| 2010 | Automated Behavioral Regression Testing. | Wei Jin, Alessandro Orso, Tao Xie |
| 2010 | Mutation Operators for Actor Systems. | Vilas Jagannath, Milos Gligoric, Steven Lauterburg, Darko Marinov, Gul Agha |
| 2010 | State Machine Inference in Testing Context with Long Counterexamples. | Muhammad-Naeem Irfan |