3. ICST Workshops 2010:
Paris,
France
Third International Conference on Software Testing, Verification and Validation, ICST 2010, Paris, France, April 7-9, 2010, Workshops Proceedings.
IEEE Computer Society 2010 
AMOST/QuoMBaT Workshop
- Adenilso da Silva Simão, Adenilso Petrenko:
From Test Purposes to Asynchronous Test Cases.
1-10
- Christopher Robinson-Mallett, Matthias Grochtmann, Joachim Wegener, Jens Köhnlein, Steffen Kühn:
Modelling Requirements to Support Testing of Product Lines.
11-18
- Peter B. Lakey:
A Measurement Framework for Assessing Model-Based Testing Quality.
19-27
- Baris Güldali, Michael Mlynarski, Yavuz Sancar:
Effort Comparison for Model-Based Testing Scenarios.
28-36
- Gordon Fraser, Angelo Gargantini:
Generating Minimal Fault Detecting Test Suites for Boolean Expressions.
37-45
- E. Akenshina, Natalia Shabaldina, Nina Yevtushenko:
Deriving Exhaustive Test Suits for Nondeterministic FSMs w.r.t. Non-separability Relation.
46-53
- Fabrice Bouquet, Pierre-Christophe Bué, Jacques Julliand, Pierre-Alain Masson:
Test Generation Based on Abstraction and Test Purposes to Complement Structural Tests.
54-61
- Sébastien Salva, Issam Rabhi:
A Preliminary Study on BPEL Process Testability.
62-71
- Yves Le Traon, Tejeddine Mouelhi, Franck Fleurey, Benoit Baudry:
Language-Specific vs. Language-Independent Approaches: Embedding Semantics on a Metamodel for Testing and Verifying Access Control Policies.
72-79
Mutation Workshop
- Mark Harman, Yue Jia, William B. Langdon:
A Manifesto for Higher Order Mutation Testing.
80-89
- Mike Papadakis, Nicos Malevris:
An Empirical Evaluation of the First and Second Order Mutation Testing Strategies.
90-99
- John A. Clark, Haitao Dan, Robert M. Hierons:
Semantic Mutation Testing.
100-109
- Pedro Reales Mateo, Macario Polo Usaola, Jeff Offutt:
Mutation at System and Functional Levels.
110-119
- Mark Trakhtenbrot:
Implementation-Oriented Mutation Testing of Statechart Models.
120-125
- Leonardo Bottaci:
Type Sensitive Application of Mutation Operators for Dynamically Typed Programs.
126-131
- Upsorn Praphamontripong, Jeff Offutt:
Applying Mutation Testing to Web Applications.
132-141
- Antonia Estero-Botaro, Francisco Palomo-Lozano, Inmaculada Medina-Bulo:
Quantitative Evaluation of Mutation Operators for WS-BPEL Compositions.
142-150
- Salem F. Adra, Phil McMinn:
Mutation Operators for Agent-Based Models.
151-156
- Vilas Jagannath, Milos Gligoric, Steven Lauterburg, Darko Marinov, Gul Agha:
Mutation Operators for Actor Systems.
157-162
SBST Workshop
- Felix F. Lindlar, Andreas Windisch, Joachim Wegener:
Integrating Model-Based Testing with Evolutionary Functional Testing.
163-172
- Arthur I. Baars, Tanja E. J. Vos, Dimitar M. Dimitrov:
Using Evolutionary Testing to Find Test Scenarios for Hard to Reproduce Faults.
173-181
- Mark Harman, Sung Gon Kim, Kiran Lakhotia, Phil McMinn, Shin Yoo:
Optimizing for the Number of Tests Generated in Search Based Test Data Generation with an Application to the Oracle Cost Problem.
182-191
- Shin Yoo:
Metamorphic Testing of Stochastic Optimisation.
192-201
- Benjamin Wilmes, Andreas Windisch:
Considering Signal Constraints in Search-Based Testing of Continuous Systems.
202-211
- Jan Staunton, John A. Clark:
Searching for Safety Violations Using Estimation of Distribution Algorithms.
212-221
- Ruilian Zhao, Mark Harman, Zheng Li:
Empirical Study on the Efficiency of Search Based Test Generation for EFSM Models.
222-231
- Abdul Salam Kalaji, Robert M. Hierons, Stephen Swift:
Generating Feasible Transition Paths for Testing from an Extended Finite State Machine (EFSM) with the Counter Problem.
232-235
- Thaise Yano, Eliane Martins, Fabiano Luis de Sousa:
Generating Feasible Test Paths from an Executable Model Using a Multi-objective Approach.
236-239
TESTBEDS Workshop
- Ethar Elsaka, Walaa Eldin Moustafa, Bao N. Nguyen, Atif M. Memon:
Using Methods & Measures from Network Analysis for GUI Testing.
240-246
- Milan Jovic, Matthias Hauswirth:
Performance Testing of GUI Applications.
247-251
- Cristiano Bertolini, Alexandre Mota:
A Framework for GUI Testing Based on Use Case Design.
252-259
- Lei Zhao, Kai-Yuan Cai:
On Modeling of GUI Test Profile.
260-264
- Fan Bai, Wang Tao:
Message Broker Using Asynchronous Method Invocation in Web Service and Its Evaluation.
265-273
- Domenico Amalfitano, Anna Rita Fasolino, Porfirio Tramontana:
Rich Internet Application Testing Using Execution Trace Data.
274-283
- Ricardo D. F. Ferreira, João C. P. Faria, Ana C. R. Paiva:
Test Coverage Analysis of UML State Machines.
284-289
ViDaS Workshop
CSTVA Workshop
- Franz Wotawa, Mihai Nica, Bernhard K. Aichernig:
Generating Distinguishing Tests Using the Minion Constraint Solver.
325-330
- Garrett Kent Kaminski, Paul Ammann:
Applications of Optimization to Logic Testing.
331-336
- Rohan Sharma, Milos Gligoric, Vilas Jagannath, Darko Marinov:
A Comparison of Constraint-Based and Sequence-Based Generation of Complex Input Data Structures.
337-342
- Pierre-Cyrille Héam, Vincent Hugot, Olga Kouchnarenko:
SAT Solvers for Queries over Tree Automata with Constraints.
343-348
- Bruno Berstel, Michel Leconte:
Using Constraints to Verify Properties of Rule Programs.
349-354
- Pierre-Christophe Bué, Frédéric Dadeau, Pierre-Cyrille Héam:
Model-Based Testing Using Symbolic Animation and Machine Learning.
355-360
MDV Workshop
- Alessandro Armando, Roberto Carbone, Luca Compagna, Keqin Li, Giancarlo Pellegrino:
Model-Checking Driven Security Testing of Web-Based Applications.
361-370
- Dumitru Ceara, Laurent Mounier, Marie-Laure Potet:
Taint Dependency Sequences: A Characterization of Insecure Execution Paths Based on Input-Sensitive Cause Sequences.
371-380
- Keqin Li:
Towards Security Vulnerability Detection by Source Code Model Checking.
381-387
- Violeta Damjanovic, Dragan Djuric:
Functional Programming Way to Interact with Software Attacks and Vulnerabilities.
388-393
- Alessandra Bagnato, Fabio Raiteri, Wissam Mallouli, Bachar Wehbi:
Practical Experience Gained from Passive Testing of Web Based Systems.
394-402
- Kamara Benjamin, Gregor von Bochmann, Guy-Vincent Jourdan, Iosif-Viorel Onut:
Some Modeling Challenges When Testing Rich Internet Applications for Security.
403-409
- Yaser Alosefer, Omer Rana:
Honeyware: A Web-Based Low Interaction Client Honeypot.
410-417
STITC Workshop
- Leah Muthoni Riungu, Ossi Taipale, Kari Smolander:
Software Testing as an Online Service: Observations from Practice.
418-423
- Tauhida Parveen, Scott R. Tilley:
When to Migrate Software Testing to the Cloud?
424-427
- Toshihiro Hanawa, Takayuki Banzai, Hitoshi Koizumi, Ryo Kanbayashi, Takayuki Imada, Mitsuhisa Sato:
Large-Scale Software Testing Environment Using Cloud Computing Technology for Dependable Parallel and Distributed Systems.
428-433
- Manuel Oriol, Faheem Ullah:
YETI on the Cloud.
434-437
- Tariq M. King, Annaji Sharma Ganti:
Migrating Autonomic Self-Testing to the Cloud.
438-443
TDD Workshop
Last update Fri May 25 08:21:31 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
