default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID22. ICTSS 2010: Natal, Brazil
- Alexandre Petrenko, Adenilso da Silva Simão
, José Carlos Maldonado:
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 T. R. 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 S. 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 París:
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 Muñoz, Benoit Baudry, Yves Le Traon:
Vidock: A Tool for Impact Analysis of Aspect Weaving on Test Cases. 250-265
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-10 18:20 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
