3. ICST 2010:
Paris, France Keynote Speakers
export record as
dblp key:
Odile Laurent :
Using Formal Methods and Testability Concepts in the Avionics Systems Validation and Verification (V&V) Process.
1-10
export record as
dblp key:
Patrick Copeland :
Google's Innovation Factory: Testing, Culture, and Infrastructure.
11-14
Model Based Testing 1
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Mutation Testing
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Regression Testing 1
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Model Based Testing 2
export record as
dblp key:
export record as
dblp key:
UML Modeling and Testing
export record as
dblp key:
Ivan Porres ,
Irum Rauf :
From Nondeterministic UML Protocol Statemachines to Class Contracts.
107-116
export record as
dblp key:
Stephan Weißleder :
Simulated Satisfaction of Coverage Criteria on UML State Machines.
117-126
Regression Testing 2
export record as
dblp key:
export record as
dblp key:
Test Assessment 1
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Test Process and Tools 1
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Test and Validation 1
export record as
dblp key:
Andrea Arcuri :
It Does Matter How You Normalise the Branch Distance in Search Based Software Testing.
205-214
export record as
dblp key:
export record as
dblp key:
GUI Testing
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Test Assessment 2
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Testing and Validation 2
export record as
dblp key:
Vojo Bubevski :
An Application of Six Sigma and Simulation in Software Testing Risk Assessment.
295-302
export record as
dblp key:
export record as
dblp key:
Ph.D. Symposium 1
export record as
dblp key:
export record as
dblp key:
Michael Mlynarski :
Holistic Model-Based Testing for Business Information Systems.
327-330
export record as
dblp key:
Diana Elena Vega :
Towards an Automated and Dynamically Adaptable Test System for Testing Healthcare Information Systems.
331-334
Testing Safety and Security
export record as
dblp key:
conf/icst/Panesar-WalawegeSBC10 export record as
dblp key:
Ph.D. Symposium 2
export record as
dblp key:
Jussi Kasurinen :
Elaborating Software Test Processes and Strategies.
355-358
export record as
dblp key:
Vidar Slåtten :
Model-Driven Engineering of Dependable Systems.
359-362
Testing Web Services and Applications
export record as
dblp key:
export record as
dblp key:
Test Assessment 3
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Test Management and Vulnerabilities Detection
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Model Based Testing 3
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Test Assessment 4
export record as
dblp key:
Andrea Arcuri :
Longer is Better: On the Role of Test Sequence Length in Software Testing.
469-478
export record as
dblp key:
Testing and Validation 3
export record as
dblp key:
export record as
dblp key:
Ph.D. Symposium 3
export record as
dblp key:
export record as
dblp key:
Emelie Engstrom :
Regression Test Selection and Product Line System Testing.
512-515
data released under the ODC-BY 1.0 license
