default search action
3rd ICST 2010: Paris, France
- Third International Conference on Software Testing, Verification and Validation, ICST 2010, Paris, France, April 7-9, 2010. IEEE Computer Society 2010, ISBN 978-0-7695-3990-4
Keynote Speakers
- Odile Laurent:
Using Formal Methods and Testability Concepts in the Avionics Systems Validation and Verification (V&V) Process. 1-10 - Patrick Copeland:
Google's Innovation Factory: Testing, Culture, and Infrastructure. 11-14
Model Based Testing 1
- Márk Asztalos, László Lengyel
, Tihamer Levendovszky:
Towards Automated, Formal Verification of Model Transformations. 15-24 - Henri Heiskanen, Antti Jääskeläinen, Mika Katara:
Debug Support for Model-Based GUI Testing. 25-34 - Sergio Segura
Automated Test Data Generation on the Analyses of Feature Models: A Metamorphic Testing Approach. 35-44
Mutation Testing
- David Schuler, Andreas Zeller
(Un-)Covering Equivalent Mutants. 45-54 - Milos Gligoric, Vilas Jagannath, Darko Marinov:
MuTMuT: Efficient Exploration for Mutation Testing of Multithreaded Code. 55-64 - Vidroha Debroy, W. Eric Wong:
Using Mutation to Automatically Suggest Fixes for Faulty Programs. 65-74
Regression Testing 1
- Emelie Engström
An Empirical Evaluation of Regression Testing Based on Fix-Cache Recommendations. 75-78 - Panduka Nagahawatte, Hyunsook Do:
The Effectiveness of Regression Testing Techniques in Reducing the Occurrence of Residual Defects. 79-88 - Leila Naslavsky, Hadar Ziv, Debra J. Richardson:
MbSRT2: Model-Based Selective Regression Testing with Traceability. 89-98
Model Based Testing 2
- Abderrahmane Feliachi, Hélène Le Guen:
Generating Transition Probabilities for Automatic Model-Based Test Generation. 99-102 - Daniele Grasso, Alessandro Fantechi, Alessio Ferrari
Model Based Testing and Abstract Interpretation in the Railway Signaling Context. 103-106
UML Modeling and Testing
- Ivan Porres
From Nondeterministic UML Protocol Statemachines to Class Contracts. 107-116 - Stephan Weißleder:
Simulated Satisfaction of Coverage Criteria on UML State Machines. 117-126
Regression Testing 2
- Danny Roest, Ali Mesbah
Regression Testing Ajax Applications: Coping with Dynamism. 127-136 - Wei Jin, Alessandro Orso, Tao Xie:
Automated Behavioral Regression Testing. 137-146
Test Assessment 1
- Shali Yan, Zhenyu Chen, Zhihong Zhao, Chen Zhang, Yuming Zhou:
A Dynamic Test Cluster Sampling Strategy by Leveraging Execution Spectra Information. 147-154 - Avik Sinha, Stanley M. Sutton Jr., Amit M. Paradkar:
Text2Test: Automated Inspection of Natural Language Use Cases. 155-164 - Wes Masri, Rawad Abou Assi:
Cleansing Test Suites from Coincidental Correctness to Enhance Fault-Localization. 165-174
Test Process and Tools 1
- Tanja E. J. Vos, Arthur I. Baars, Felix F. Lindlar, Peter M. Kruse, Andreas Windisch, Joachim Wegener:
Industrial Scaled Automated Structural Testing with the Evolutionary Testing Tool. 175-184 - Luciano Baresi
TestFul: An Evolutionary Test Approach for Java. 185-194 - Minh Duc Nguyen, Hélène Waeselynck, Nicolas Rivière:
GraphSeq: A Graph Matching Tool for the Extraction of Mobility Patterns. 195-204
Test and Validation 1
- Andrea Arcuri:
It Does Matter How You Normalise the Branch Distance in Search Based Software Testing. 205-214 - Mickaël Delahaye, Bernard Botella, Arnaud Gotlieb:
Explanation-Based Generalization of Infeasible Path. 215-224 - Robert Feldt, Richard Torkar, Ehsan Ahmad
Challenges with Software Verification and Validation Activities in the Space Industry. 225-234
GUI Testing
- Cristiano Bertolini, Alexandre Mota, Eduardo Aranha, Cristiano Ferraz:
GUI Testing Techniques Evaluation by Designed Experiments. 235-244 - Si Huang, Myra B. Cohen, Atif M. Memon:
Repairing GUI Test Suites Using a Genetic Algorithm. 245-254 - Daniel Sinnig, Ferhat Khendek
A Formal Model for Generating Integrated Functional and User Interface Test Cases. 255-264
Test Assessment 2
- Dianxiang Xu, Junhua Ding:
Prioritizing State-Based Aspect Tests. 265-274 - Daniel Guerreiro e Silva
Machine Learning Methods and Asymmetric Cost Function to Estimate Execution Effort of Software Testing. 275-284 - Raza Abbas Syed, Brian Robinson, Laurie A. Williams:
Does Hardware Configuration and Processor Load Impact Software Fault Observability? 285-294
Testing and Validation 2
- Vojo Bubevski:
An Application of Six Sigma and Simulation in Software Testing Risk Assessment. 295-302 - Yi Wei, Serge Gebhardt, Bertrand Meyer
Satisfying Test Preconditions through Guided Object Selection. 303-312 - Elaine J. Weyuker, Robert M. Bell, Thomas J. Ostrand:
We're Finding Most of the Bugs, but What are We Missing?. 313-322
Ph.D. Symposium 1
- Shekoufeh Kolahdouz Rahimi:
Specification of UML Model Transformations. 323-326 - Michael Mlynarski:
Holistic Model-Based Testing for Business Information Systems. 327-330 - Diana Elena Vega:
Towards an Automated and Dynamically Adaptable Test System for Testing Healthcare Information Systems. 331-334
Testing Safety and Security
- Rajwinder Kaur Panesar-Walawege, Mehrdad Sabetzadeh
Characterizing the Chain of Evidence for Software Safety Cases: A Conceptual Model Based on the IEC 61508 Standard. 335-344 - Achim D. Brucker
Verified Firewall Policy Transformations for Test Case Generation. 345-354
Ph.D. Symposium 2
- Jussi Kasurinen
Elaborating Software Test Processes and Strategies. 355-358 - Vidar Slåtten:
Model-Driven Engineering of Dependable Systems. 359-362
Testing Web Services and Applications
- Tien-Dung Cao, Patrick Félix, Richard Castanet, Ismail Berrada:
Online Testing Framework for Web Services. 363-372 - Francesco De Angelis, Andrea Polini
A Counter-Example Testing Approach for Orchestrated Services. 373-382
Test Assessment 3
- Mijung Kim, Saurabh Sinha, Carsten Görg
Automated Bug Neighborhood Analysis for Identifying Incomplete Bug Fixes. 383-392 - Adnan Causevic, Daniel Sundmark, Sasikumar Punnekkat
An Industrial Survey on Contemporary Aspects of Software Testing. 393-401 - Fevzi Belli, Michael Linschulte, Christof J. Budnik, Harald A. Stieber:
Fault Detection Likelihood of Test Sequence Length. 402-411
Test Management and Vulnerabilities Detection
- Sigrid Eldh
Towards Fully Automated Test Management for Large Complex Systems. 412-420 - Thomas Zimmermann, Nachiappan Nagappan, Laurie A. Williams:
Searching for a Needle in a Haystack: Predicting Security Vulnerabilities for Windows Vista. 421-428 - Raúl A. Santelices, Mary Jean Harrold, Alessandro Orso:
Precisely Detecting Runtime Change Interactions for Evolving Software. 429-438
Model Based Testing 3
- Olivera Pavlovic, Hans-Dieter Ehrich:
Model Checking PLC Software Written in Function Block Diagram. 439-448 - Helge Löding, Jan Peleska:
Timed Moore Automata: Test Data Generation and Model Checking. 449-458 - Gilles Perrouin
Automated and Scalable T-wise Test Case Generation Strategies for Software Product Lines. 459-468
Test Assessment 4
- Andrea Arcuri:
Longer is Better: On the Role of Test Sequence Length in Software Testing. 469-478 - Elisabeth Jöbstl, Martin Weiglhofer, Bernhard K. Aichernig
When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving. 479-488
Testing and Validation 3
- Laya Madani, Virginia Papailiopoulou, Ioannis Parissis:
Towards a Testing Methodology for Reactive Systems: A Case Study of a Landing Gear Controller. 489-497 - Margus Veanes, Peli de Halleux, Nikolai Tillmann:
Rex: Symbolic Regular Expression Explorer. 498-507
Ph.D. Symposium 3
- Muhammad-Naeem Irfan:
State Machine Inference in Testing Context with Long Counterexamples. 508-511 - Emelie Engström:
Regression Test Selection and Product Line System Testing. 512-515
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-12-26 00:34 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: