3. ICST 2010: Paris, France

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, Robert M. Hierons, David Benavides, Antonio Ruiz Cortés:
  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, Per Runeson, Greger Wikstrand:
  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, Carlo Becheri, Stefano Bacherini:
  Model Based Testing and Abstract Interpretation in the Railway Signaling Context. 103-106
  

UML Modeling and Testing

• Ivan Porres, Irum Rauf:
  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, Arie van Deursen:
  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, Pier Luca Lanzi, Matteo Miraz:
  TestFul: An Evolutionary Test Approach for Java. 185-194
  
• Minh Duc Nguyen, Hélène Waeselynck, Nicolas Riviere:
  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, Bilal Raza:
  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, Patrice Chalin:
  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, Mario Jino, Bruno Teixeira de Abreu:
  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, Manuel Oriol:
  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, Lionel C. Briand, Thierry Coq:
  Characterizing the Chain of Evidence for Software Safety Cases: A Conceptual Model Based on the IEC 61508 Standard. 335-344
  
• Achim D. Brucker, Lukas Brügger, Paul Kearney, Burkhart Wolff:
  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, Guglielmo De Angelis:
  A Counter-Example Testing Approach for Orchestrated Services. 373-382
  

Test Assessment 3

• Mijung Kim, Saurabh Sinha, Carsten Görg, Hina Shah, Mary Jean Harrold, Mangala Gowri Nanda:
  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, Joachim Brandt, Mark Street, Hans Hansson, Sasikumar Punnekkat:
  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, Sagar Sen, Jacques Klein, Benoit Baudry, Yves Le Traon:
  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, Franz Wotawa:
  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 Engstrom:
  Regression Test Selection and Product Line System Testing. 512-515
  

Last update Sun May 26 02:25:55 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page