| 2010 | (Un-)Covering Equivalent Mutants. David Schuler, Andreas Zeller |
| 2010 | A Counter-Example Testing Approach for Orchestrated Services. Francesco De Angelis, Andrea Polini, Guglielmo De Angelis |
| 2010 | A Dynamic Test Cluster Sampling Strategy by Leveraging Execution Spectra Information. Shali Yan, Zhenyu Chen, Zhihong Zhao, Chen Zhang, Yuming Zhou |
| 2010 | A Formal Model for Generating Integrated Functional and User Interface Test Cases. Daniel Sinnig, Ferhat Khendek, Patrice Chalin |
| 2010 | An Application of Six Sigma and Simulation in Software Testing Risk Assessment. Vojo Bubevski |
| 2010 | An Empirical Evaluation of Regression Testing Based on Fix-Cache Recommendations. Emelie Engström, Per Runeson, Greger Wikstrand |
| 2010 | An Industrial Survey on Contemporary Aspects of Software Testing. Adnan Causevic, Daniel Sundmark, Sasikumar Punnekkat |
| 2010 | Automated Behavioral Regression Testing. Wei Jin, Alessandro Orso, Tao Xie |
| 2010 | Automated Bug Neighborhood Analysis for Identifying Incomplete Bug Fixes. Mijung Kim, Saurabh Sinha, Carsten Görg, Hina Shah, Mary Jean Harrold, Mangala Gowri Nanda |
| 2010 | Automated Test Data Generation on the Analyses of Feature Models: A Metamorphic Testing Approach. Sergio Segura, Robert M. Hierons, David Benavides, Antonio Ruiz Cortés |
| 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 | Challenges with Software Verification and Validation Activities in the Space Industry. Robert Feldt, Richard Torkar, Ehsan Ahmad, Bilal Raza |
| 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 |
| 2010 | Cleansing Test Suites from Coincidental Correctness to Enhance Fault-Localization. Wes Masri, Rawad Abou Assi |
| 2010 | Debug Support for Model-Based GUI Testing. Henri Heiskanen, Antti Jääskeläinen, Mika Katara |
| 2010 | Does Hardware Configuration and Processor Load Impact Software Fault Observability? Raza Abbas Syed, Brian Robinson, Laurie A. Williams |
| 2010 | Elaborating Software Test Processes and Strategies. Jussi Kasurinen |
| 2010 | Explanation-Based Generalization of Infeasible Path. Mickaël Delahaye, Bernard Botella, Arnaud Gotlieb |
| 2010 | Fault Detection Likelihood of Test Sequence Length. Fevzi Belli, Michael Linschulte, Christof J. Budnik, Harald A. Stieber |
| 2010 | From Nondeterministic UML Protocol Statemachines to Class Contracts. Ivan Porres, Irum Rauf |
| 2010 | GUI Testing Techniques Evaluation by Designed Experiments. Cristiano Bertolini, Alexandre Mota, Eduardo Aranha, Cristiano Ferraz |
| 2010 | Generating Transition Probabilities for Automatic Model-Based Test Generation. Abderrahmane Feliachi, Hélène Le Guen |
| 2010 | Google's Innovation Factory: Testing, Culture, and Infrastructure. Patrick Copeland |
| 2010 | GraphSeq: A Graph Matching Tool for the Extraction of Mobility Patterns. Minh Duc Nguyen, Hélène Waeselynck, Nicolas Rivière |
| 2010 | Holistic Model-Based Testing for Business Information Systems. Michael Mlynarski |
| 2010 | Industrial Scaled Automated Structural Testing with the Evolutionary Testing Tool. Tanja E. J. Vos, Arthur I. Baars, Felix F. Lindlar, Peter M. Kruse, Andreas Windisch, Joachim Wegener |
| 2010 | It Does Matter How You Normalise the Branch Distance in Search Based Software Testing. Andrea Arcuri |
| 2010 | Longer is Better: On the Role of Test Sequence Length in Software Testing. Andrea Arcuri |
| 2010 | Machine Learning Methods and Asymmetric Cost Function to Estimate Execution Effort of Software Testing. Daniel Guerreiro e Silva, Mário Jino, Bruno Teixeira de Abreu |
| 2010 | MbSRT2: Model-Based Selective Regression Testing with Traceability. Leila Naslavsky, Hadar Ziv, Debra J. Richardson |
| 2010 | Model Based Testing and Abstract Interpretation in the Railway Signaling Context. Daniele Grasso, Alessandro Fantechi, Alessio Ferrari, Carlo Becheri, Stefano Bacherini |
| 2010 | Model Checking PLC Software Written in Function Block Diagram. Olivera Pavlovic, Hans-Dieter Ehrich |
| 2010 | Model-Driven Engineering of Dependable Systems. Vidar Slåtten |
| 2010 | MuTMuT: Efficient Exploration for Mutation Testing of Multithreaded Code. Milos Gligoric, Vilas Jagannath, Darko Marinov |
| 2010 | Online Testing Framework for Web Services. Tien-Dung Cao, Patrick Félix, Richard Castanet, Ismail Berrada |
| 2010 | Precisely Detecting Runtime Change Interactions for Evolving Software. Raúl A. Santelices, Mary Jean Harrold, Alessandro Orso |
| 2010 | Prioritizing State-Based Aspect Tests. Dianxiang Xu, Junhua Ding |
| 2010 | Regression Test Selection and Product Line System Testing. Emelie Engström |
| 2010 | Regression Testing Ajax Applications: Coping with Dynamism. Danny Roest, Ali Mesbah, Arie van Deursen |
| 2010 | Repairing GUI Test Suites Using a Genetic Algorithm. Si Huang, Myra B. Cohen, Atif M. Memon |
| 2010 | Rex: Symbolic Regular Expression Explorer. Margus Veanes, Peli de Halleux, Nikolai Tillmann |
| 2010 | Satisfying Test Preconditions through Guided Object Selection. Yi Wei, Serge Gebhardt, Bertrand Meyer, Manuel Oriol |
| 2010 | Searching for a Needle in a Haystack: Predicting Security Vulnerabilities for Windows Vista. Thomas Zimmermann, Nachiappan Nagappan, Laurie A. Williams |
| 2010 | Simulated Satisfaction of Coverage Criteria on UML State Machines. Stephan Weißleder |
| 2010 | Specification of UML Model Transformations. Shekoufeh Kolahdouz Rahimi |
| 2010 | State Machine Inference in Testing Context with Long Counterexamples. Muhammad-Naeem Irfan |
| 2010 | TestFul: An Evolutionary Test Approach for Java. Luciano Baresi, Pier Luca Lanzi, Matteo Miraz |
| 2010 | Text2Test: Automated Inspection of Natural Language Use Cases. Avik Sinha, Stanley M. Sutton Jr., Amit M. Paradkar |
| 2010 | The Effectiveness of Regression Testing Techniques in Reducing the Occurrence of Residual Defects. Panduka Nagahawatte, Hyunsook Do |
| 2010 | Third International Conference on Software Testing, Verification and Validation, ICST 2010, Paris, France, April 7-9, 2010 |
| 2010 | Timed Moore Automata: Test Data Generation and Model Checking. Helge Löding, Jan Peleska |
| 2010 | Towards Automated, Formal Verification of Model Transformations. Márk Asztalos, László Lengyel, Tihamer Levendovszky |
| 2010 | Towards Fully Automated Test Management for Large Complex Systems. Sigrid Eldh, Joachim Brandt, Mark Street, Hans Hansson, Sasikumar Punnekkat |
| 2010 | Towards a Testing Methodology for Reactive Systems: A Case Study of a Landing Gear Controller. Laya Madani, Virginia Papailiopoulou, Ioannis Parissis |
| 2010 | Towards an Automated and Dynamically Adaptable Test System for Testing Healthcare Information Systems. Diana Elena Vega |
| 2010 | Using Formal Methods and Testability Concepts in the Avionics Systems Validation and Verification (V&V) Process. Odile Laurent |
| 2010 | Using Mutation to Automatically Suggest Fixes for Faulty Programs. Vidroha Debroy, W. Eric Wong |
| 2010 | Verified Firewall Policy Transformations for Test Case Generation. Achim D. Brucker, Lukas Brügger, Paul J. Kearney, Burkhart Wolff |
| 2010 | We're Finding Most of the Bugs, but What are We Missing?. Elaine J. Weyuker, Robert M. Bell, Thomas J. Ostrand |
| 2010 | When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving. Elisabeth Jöbstl, Martin Weiglhofer, Bernhard K. Aichernig, Franz Wotawa |