Third International Conference on Software Testing, Verification, and Validation. ICST 2010. 7-9 April 2010 Paris, France
Información General
- Autores: Marie-Claude Gaudel (coord.)
- Editores: Piscataway: IEEE Copyrights Manager, 2010
- Año de publicación: 2010
- País: Estados Unidos
- Idioma: inglés
- ISBN: 9780769539904
- Texto completo no disponible (Saber más ...)
Otros catálogos
Listado de artículos
-
-
Keynote Speakers
Using formal methods and testability concepts in the Avionics Systems Validation and Verification (V&V) process
págs. 1-10
Google's Innovation Factory: Testing, Culture, And Infrastructure
págs. 11-14
-
Session 1: Model Based Testing 1
Towards Automated, Formal Verification of Model Transformations
László Lengyel, Mark Asztalos, Tihamer Levendovszky
págs. 15-24
págs. 25-34
Automated Test Data Generation on the Analyses of Feature Models: A Metamorphic Testing Approach
Sergio Segura Rueda
, David Benavides , Antonio Ruiz Cortés , Robert M. Hierons págs. 35-44
-
Session 2: Mutation Testing
págs. 45-54
págs. 55-64
págs. 65-74
-
Session 3: Regression Testing 1
An Empirical Evaluation of Regression Testing Based on Fix-cache Recommendations
Per Runeson, Emelie Engstrom, Greger Wikstrand
págs. 75-78
págs. 79-88
págs. 89-98
-
Session 4: Model Based Testing 2
-
Session 5: UML Modeling and Testing
págs. 107-116
págs. 117-126
-
Session 6: Regression Testing 2
págs. 127-136
Automated Behavioral Regression Testing
Wei Jin, Tao Xie, Alessandro Orso
págs. 137-146
-
Session 7: Test Assessment 1
A Dynamic Test Cluster Sampling Strategy by Leveraging Execution Spectra Information
Cheng Zhang, Shali Yan, Zhenyu Chen, Zhihong Zhao, Yuming Zhou
págs. 147-154
págs. 155-164
Cleansing Test Suites from Coincidental Correctness to Enhance Fault-Localization
Wes Masri, Rawad Abou Assi
págs. 165-174
Industrial Scaled Automated Structural Testing with the Evolutionary Testing Tool
Tanja E.J. Vos, Arthur I. Baars, Felix F. Lindlar, Andreas Windisch
págs. 174-184
-
Session 8: Test Process and Tools 1
TestFul: an Evolutionary Test Approach for Java
Luciano Baresi, Pier Luca Lanzi, Matteo Miraz
págs. 185-194
págs. 195-204
-
Session 9: Test and Validation 1
It Does Matter How You Normalise the Branch Distance in Search Based Software Testing
págs. 205-214
Explanation-Based Generalization of Infeasible Path
Bernard Botella, Arnaud Gotlieb, Michel Delahaye
págs. 215-224
Challenges with Software Verification and Validation Activities in the Space Industry
Robert Feldt
, Richard Torkarpágs. 225-234
-
Session 10: GUI Testing
Repairing GUI Test Suites Using a Genetic Algorithm
S. Huang, Atif M. Memon, Si Huang
págs. 245-254
págs. 255-264
-
Session 11: Test Assessment 2
Prioritizing State-Based Aspect Tests
Junhua Ding, Dianxiang Xu
págs. 265-274
págs. 275-284
Does Hardware Configuration and Processor Load Impact Software Fault Observability?
Brian P. Robinson, Raza Abbas Syed, Laurie Williams
págs. 285-294
-
Session 12: Testing and Validation 2
An Application of Six Sigma and Simulation in Software Testing Risk Assessment
págs. 295-302
Satisfying Test Preconditions through Guided Object Selection
Manuel Oriol, Yi Wei, Serge Gebhardt, Bertrand Meyer
págs. 303-312
We�re finding most of the bugs, but what are we missing?
Elaine J. Weyuker, Robert M. Bell, Thomas J. Ostrand
págs. 313-322
-
Session 13: Ph.D. Symposium 1
págs. 323-326
págs. 327-330
págs. 331-334
-
Session 14: Testing Safety and Security
Characterizing the Chain of Evidence for Software Safety Cases: A Conceptual Model Based on the IEC 61508 Standard
Lionel C. Briand
págs. 335-344
págs. 345-354
-
Session 15: Ph.D. Symposium 2
págs. 355-358
págs. 359-362
-
Session 16: Testing Web Services and Applications
Online Testing Framework for Web Services
Tien-Dung Cao, Patrick Felix, Richard Castanet, Ismail Berrada
págs. 363-372
A Counter-example Testing Approach for Orchestrated Services
Francesco De Angelis, Andrea Polini
págs. 373-382
-
Session 17: Test Assessment 3
Automated Bug Neighborhood Analysis for Identifying Incomplete Bug Fixes
Mijoung Kim, Mangala Gowri Nanda, Saurabh Sinha, Mijung Kim, Carsten Gorg, Mary Jean Harrold
págs. 383-392
págs. 393-401
Fault Detection Likelihood of Test Sequence Length
Harald Stieber, Fevzi Belli, Michael Linschulte, Christof J. Budnik
págs. 402-411
-
Session 18: Test Management and Vulnerabilities Detection
págs. 412-420
Searching for a Needle in a Haystack: Predicting Security Vulnerabilities for Windows Vista
Thomas Zimmermann, Laurie Williams, Nachiappan Nagappan
págs. 421-428
págs. 429-438
-
Session 19: Model Based Testing 3
págs. 439-448
págs. 449-458
Automated and Scalable T-wise Test Case Generation Strategies for Software Product Lines
Gilles Perrouin, Benoit Baudry
, Pierre Yves Le Traonpágs. 459-468
-
Session 20: Test Assessment 4
Longer is Better: On the Role of Test Sequence Length in Software Testing
págs. 469-478
When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving
Martin Weiglhofer, Franz Wotawa, Elisabeth Jobstl, Bernhard K. Aichernig
págs. 479-488
-
Session 21: Testing and Validation 3
Towards a testing methodology for reactive systems: a case study of a landing gear controller
Laya Madani, Ioannis Parissis
, Virginia Papailiopouloupágs. 489-497
págs. 498-507
-
Session 22: Ph.D. Symposium 3
págs. 508-511
Regression Test Selection and Product Line System Testing
Emelie Engström
págs. 512-515
-
Author Index
-
