default search action
3rd 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, ISBN 978-0-7695-4050-4
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
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
Language-Specific vs. Language-Independent Approaches: Embedding Semantics on a Metamodel for Testing and Verifying Access Control Policies. 72-79
Mutation Workshop
- Mark Harman
A Manifesto for Higher Order Mutation Testing. 80-89 - Mike Papadakis
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
Mutation at System and Functional Levels. 110-119 - Mark B. 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
Quantitative Evaluation of Mutation Operators for WS-BPEL Compositions. 142-150 - Salem Fawaz 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
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
Empirical Study on the Efficiency of Search Based Test Generation for EFSM Models. 222-231 - Abdul Salam Kalaji
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
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
- Kristopher Welsh, Peter Sawyer:
Managing Testing Complexity in Dynamically Adaptive Systems: A Model-Driven Approach. 290-298 - Diego Perez-Palacin, Raffaela Mirandola
QoS-Based Model Driven Assessment of Adaptive Reactive Systems. 299-308 - Marko Palviainen:
A Dynamic Behaviour and Reliability Evaluation Method for Applications That Are Based on Asynchronous Processing Nodes. 309-318 - Jarkko Kuusijärvi
A Demo on Using Visualization to Aid Run-Time Verification of Dynamic Service Systems. 319-324
CSTVA Workshop
- Franz Wotawa
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
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
Functional Programming Way to Interact with Software Attacks and Vulnerabilities. 388-393 - Alessandra Bagnato
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 F. 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
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
- Theodore D. Hellmann, Ali Hosseini-Khayat, Frank Maurer
Supporting Test-Driven Development of Graphical User Interfaces Using Agile Interaction Design. 444-447 - John Clements, David S. Janzen:
Overcoming Obstacles to Test-Driven Learning on Day One. 448-453 - Colin Atkinson
Software Testing Using Test Sheets. 454-459 - Robert Chatley, John Ayres, Tom White:
LiFT: Driving Development Using a Business-Readable DSL for Web Testing. 460-468 - Mauricio Finavaro Aniche, Marco Aurélio Gerosa:
Most Common Mistakes in Test-Driven Development Practice: Results from an Online Survey with Developers. 469-478
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 2024-11-15 19:19 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: