22nd IFIP International Conference on Testing Software and Systems
http://ictss2010.dimap.ufrn.br/ictss/
Accepted Full Papers
-
A Pareto Ant Colony Algorithm Applied to the Class Integration and Test Order Problem
Rafael Cabral, Aurora Pozo and Silvia Vergilio
-
More Testable Properties
Ylies Falcone, Jean-Claude Fernandez, Thierry Jeron, Herve Marchand and Laurent Mounier
-
Alternating Simulation and IOCO
Margus Veanes and Nikolaj Bjorner
-
Reducing the Cost of Model-Based Testing through Test Case Diversity
Hadi Hemmati, Andrea Arcuri and Lionel Briand
-
Built-in Data-flow Integration Testing in Large-Scale Component-Based Systems
Eric Piel, Alberto Gonzalez-Sanchez and Hans-Gerhard Gross
-
Black-box System Testing of Real-Time Embedded Systems Using Random and Search-based Testing
Andrea Arcuri, Muhammad Zohaib Z. Iqbal and Lionel Briand
-
Testing product generation in Software Product Lines using pair-wise for features coverage
Beatriz Perez Lamancha and Macario Polo
-
Increasing Functional Coverage by Inductive Testing: A Case Study
Neil Walkinshaw, Kirill Bogdanov, John Derrick and Javier Paris
-
FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution
Kiran Lakhotia, Nikolai Tillmann, Mark Harman and Jonathan de Halleux
-
Test Data Generation For Programs with Quantified First-order Logic Specifications
Christoph Gladisch
-
A Distributed Testing Architecture for Large Scale Systems
Eduardo Cunha de Almeida, Joao Eugenio Marynowski, Gerson Sunye, Yves Le Traon and Patrick Valduriez
-
Generating Models of Infinite-State Communication Protocols using Regular Inference with Abstraction
Fides Aarts, Bengt Jonsson and Johan Uijen
-
Practical End-to End Performance Testing Tool for High Speed 3G-based Networks
Hiroyuki Shinbo, Atsushi Tagami, Shigehiro Ano, Toru Hasegawa and Kenji Suzuki
-
A Learning-based Approach to Unit Testing of Numerical Software
Karl Meinke and Fei Niu
-
From Scenarios to Test Implementations via Promela
Andreas Ulrich, El-Hachemi Alikacem, Hesham Hallal and Sergiy Boroday
-
Vidock: a Tool for Impact Analysis of Aspect Weaving on Test Cases
X
Yves Le Traon, Romain Delamare, Freddy Munoz and Benoit Baudry
|