22. ICTSS 2010:
Natal, Brazil
Alexandre Petrenko, Adenilso da Silva Simão, José Carlos Maldonado (Eds.):
Testing Software and Systems - 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings.
Lecture Notes in Computer Science 6435 Springer 2010, ISBN 978-3-642-16572-6 
- Ina Schieferdecker:
Test Automation with TTCN-3 - State of the Art and a Future Perspective.
1-14
- Constance L. Heitmeyer:
A Model-Based Approach to Testing Software for Critical Behavior and Properties.
15
- Rafael da Veiga Cabral, Aurora Pozo, Silvia Regina Vergilio:
A Pareto Ant Colony Algorithm Applied to the Class Integration and Test Order Problem.
16-29
- Yliès Falcone, Jean-Claude Fernandez, Thierry Jéron, Hervé Marchand, Laurent Mounier:
More Testable Properties.
30-46
- Margus Veanes, Nikolaj Bjørner:
Alternating Simulation and IOCO.
47-62
- Hadi Hemmati, Andrea Arcuri, Lionel C. Briand:
Reducing the Cost of Model-Based Testing through Test Case Diversity.
63-78
- Éric Piel, Alberto González-Sanchez, Hans-Gerhard Groß:
Built-In Data-Flow Integration Testing in Large-Scale Component-Based Systems.
79-94
- Andrea Arcuri, Muhammad Zohaib Z. Iqbal, Lionel C. Briand:
Black-Box System Testing of Real-Time Embedded Systems Using Random and Search-Based Testing.
95-110
- Beatriz Pérez Lamancha, Macario Polo Usaola:
Testing Product Generation in Software Product Lines Using Pairwise for Features Coverage.
111-125
- Neil Walkinshaw, Kirill Bogdanov, John Derrick, Javier Paris:
Increasing Functional Coverage by Inductive Testing: A Case Study.
126-141
- Kiran Lakhotia, Nikolai Tillmann, Mark Harman, Jonathan de Halleux:
FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution.
142-157
- Christoph Gladisch:
Test Data Generation for Programs with Quantified First-Order Logic Specifications.
158-173
- Eduardo Cunha de Almeida, João Eugenio Marynowski, Gerson Sunyé, Yves Le Traon, Patrick Valduriez:
Efficient Distributed Test Architectures for Large-Scale Systems.
174-187
- Fides Aarts, Bengt Jonsson, Johan Uijen:
Generating Models of Infinite-State Communication Protocols Using Regular Inference with Abstraction.
188-204
- Hiroyuki Shinbo, Atsushi Tagami, Shigehiro Ano, Toru Hasegawa, Kenji Suzuki:
Practical End-to-End Performance Testing Tool for High Speed 3G-Based Networks.
205-220
- Karl Meinke, Fei Niu:
A Learning-Based Approach to Unit Testing of Numerical Software.
221-235
- Andreas Ulrich, El Hachemi Alikacem, Hesham Hallal, Sergiy Boroday:
From Scenarios to Test Implementations Via Promela.
236-249
- Romain Delamare, Freddy Munoz, Benoit Baudry, Yves Le Traon:
Vidock: A Tool for Impact Analysis of Aspect Weaving on Test Cases.
250-265
Last update Tue May 21 17:53:09 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
