| 2010 | Implementation-Oriented Mutation Testing of Statechart Models. | Mark B. Trakhtenbrot |
| 2010 | Does Hardware Configuration and Processor Load Impact Software Fault Observability? | Raza Abbas Syed, Brian Robinson, Laurie A. Williams |
| 2010 | Searching for Safety Violations Using Estimation of Distribution Algorithms. | Jan Staunton, John A. Clark |
| 2010 | Model-Driven Engineering of Dependable Systems. | Vidar Sltten |
| 2010 | A Formal Model for Generating Integrated Functional and User Interface Test Cases. | Daniel Sinnig, Ferhat Khendek, Patrice Chalin |
| 2010 | Text2Test: Automated Inspection of Natural Language Use Cases. | Avik Sinha, Stanley M. Sutton Jr., Amit M. Paradkar |
| 2010 | From Test Purposes to Asynchronous Test Cases. | Adenilso da Silva Simo, Adenilso Petrenko |
| 2010 | Machine Learning Methods and Asymmetric Cost Function to Estimate Execution Effort of Software Testing. | Daniel Guerreiro e Silva, Mrio Jino, Bruno Teixeira de Abreu |
| 2010 | A Comparison of Constraint-Based and Sequence-Based Generation of Complex Input Data Structures. | Rohan Sharma, Milos Gligoric, Vilas Jagannath, Darko Marinov |
| 2010 | Automated Test Data Generation on the Analyses of Feature Models: A Metamorphic Testing Approach. | Sergio Segura, Robert M. Hierons, David Benavides, Antonio Ruiz Corts |
| 2010 | (Un-)Covering Equivalent Mutants. | David Schuler, Andreas Zeller |
| 2010 | Precisely Detecting Runtime Change Interactions for Evolving Software. | Ral A. Santelices, Mary Jean Harrold, Alessandro Orso |
| 2010 | A Preliminary Study on BPEL Process Testability. | Sbastien Salva, Issam Rabhi |
| 2010 | Regression Testing Ajax Applications: Coping with Dynamism. | Danny Roest, Ali Mesbah, Arie van Deursen |
| 2010 | Modelling Requirements to Support Testing of Product Lines. | Christopher Robinson-Mallett, Matthias Grochtmann, Joachim Wegener, Jens Khnlein, Steffen Khn |
| 2010 | Software Testing as an Online Service: Observations from Practice. | Leah Muthoni Riungu, Ossi Taipale, Kari Smolander |
| 2010 | Specification of UML Model Transformations. | Shekoufeh Kolahdouz Rahimi |
| 2010 | Applying Mutation Testing to Web Applications. | Upsorn Praphamontripong, Jeff Offutt |
| 2010 | From Nondeterministic UML Protocol Statemachines to Class Contracts. | Ivan Porres, Irum Rauf |
| 2010 | Automated and Scalable T-wise Test Case Generation Strategies for Software Product Lines. | Gilles Perrouin, Sagar Sen, Jacques Klein, Benoit Baudry, Yves Le Traon |
| 2010 | QoS-Based Model Driven Assessment of Adaptive Reactive Systems. | Diego Perez-Palacin, Raffaela Mirandola, Jos Merseguer, Vincenzo Grassi |
| 2010 | Model Checking PLC Software Written in Function Block Diagram. | Olivera Pavlovic, Hans-Dieter Ehrich |
| 2010 | When to Migrate Software Testing to the Cloud? | Tauhida Parveen, Scott R. Tilley |
| 2010 | An Empirical Evaluation of the First and Second Order Mutation Testing Strategies. | Mike Papadakis, Nicos Malevris |
| 2010 | Characterizing the Chain of Evidence for Software Safety Cases: A Conceptual Model Based on the IEC 61508 Standard. | Rajwinder Kaur Panesar-Walawege, Mehrdad Sabetzadeh, Lionel C. Briand, Thierry Coq |