| 2010 | A Learning-Based Approach to Unit Testing of Numerical Software. Karl Meinke, Fei Niu |
| 2010 | A Model-Based Approach to Testing Software for Critical Behavior and Properties. Constance L. Heitmeyer |
| 2010 | A Pareto Ant Colony Algorithm Applied to the Class Integration and Test Order Problem. Rafael da Veiga Cabral, Aurora T. R. Pozo, Silvia Regina Vergilio |
| 2010 | Alternating Simulation and IOCO. Margus Veanes, Nikolaj S. Bjørner |
| 2010 | Black-Box System Testing of Real-Time Embedded Systems Using Random and Search-Based Testing. Andrea Arcuri, Muhammad Zohaib Z. Iqbal, Lionel C. Briand |
| 2010 | Built-In Data-Flow Integration Testing in Large-Scale Component-Based Systems. Éric Piel, Alberto González-Sanchez, Hans-Gerhard Groß |
| 2010 | Efficient Distributed Test Architectures for Large-Scale Systems. Eduardo Cunha de Almeida, João Eugenio Marynowski, Gerson Sunyé, Yves Le Traon, Patrick Valduriez |
| 2010 | FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution. Kiran Lakhotia, Nikolai Tillmann, Mark Harman, Jonathan de Halleux |
| 2010 | From Scenarios to Test Implementations Via Promela. Andreas Ulrich, El Hachemi Alikacem, Hesham Hallal, Sergiy Boroday |
| 2010 | Generating Models of Infinite-State Communication Protocols Using Regular Inference with Abstraction. Fides Aarts, Bengt Jonsson, Johan Uijen |
| 2010 | Increasing Functional Coverage by Inductive Testing: A Case Study. Neil Walkinshaw, Kirill Bogdanov, John Derrick, Javier París |
| 2010 | More Testable Properties. Yliès Falcone, Jean-Claude Fernandez, Thierry Jéron, Hervé Marchand, Laurent Mounier |
| 2010 | Practical End-to-End Performance Testing Tool for High Speed 3G-Based Networks. Hiroyuki Shinbo, Atsushi Tagami, Shigehiro Ano, Toru Hasegawa, Kenji Suzuki |
| 2010 | Reducing the Cost of Model-Based Testing through Test Case Diversity. Hadi Hemmati, Andrea Arcuri, Lionel C. Briand |
| 2010 | Test Automation with TTCN-3 - State of the Art and a Future Perspective. Ina Schieferdecker |
| 2010 | Test Data Generation for Programs with Quantified First-Order Logic Specifications. Christoph Gladisch |
| 2010 | Testing Product Generation in Software Product Lines Using Pairwise for Features Coverage. Beatriz Pérez Lamancha, Macario Polo Usaola |
| 2010 | Testing Software and Systems - 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings Alexandre Petrenko, Adenilso da Silva Simão, José Carlos Maldonado |
| 2010 | Vidock: A Tool for Impact Analysis of Aspect Weaving on Test Cases. Romain Delamare, Freddy Muñoz, Benoit Baudry, Yves Le Traon |