Robot - Doctor



Social Event
Journal SI


Workshop Program


Day 1: 23 May 2015

8:45 - 9:00: Workshop Opening

9:00 - 10:30: Session 1: Test Oracles (I), Chair: Leonardo Mariani

  • Mauro Pezze. Keynote: Towards Cost-Effective Oracles

  • Rafig Almaghairbe and Marc Roper. Building Test Oracles by Clustering Failures

10:30 - 11:00: Tea/Coffee Break

11:00 -12:30: Session 2: GUI and Web Service Testing, Chair: Francesca Lonetti

  • Dessislava Petrova-Antonova, Sylvia Ilieva and Denitsa Manova. TASSA: Testing Framework for Web Service Orchestrations

  • Santo Carino; James Andrews. Evaluating the Effect of Test Case Length on GUI Test Suite Performance

  • Zhi-Wei He; Cheng-Gang Bai. GUI Test Case Prioritization by State-coverage Criterion

12:30 - 2:00: Lunch Break

2:00 - 3:30: Session 3: Test Case Generation, Chair: Hasan Ural

  • Koushik Sen, Haruto Tanno, Xiaojing Zhang and Takashi Hoshino. GUIDESE: Annotations for Guiding Concolic Testing

  • Korosh Koochekian Sabor. Adaptive Random Testing By Static Partitioning

  • Ali Khalili, Massimo Narizzano, Armando Tacchella and Enrico Giunchiglia. Automatic Test-Pattern Generation for Grey-Box Programs

3:30 - 4:00: Tea/Coffee Break

4:00 -5:30: Session 4: Performance, Concurrency and Security Testing, Chair: Dan Hao

  • Alexander Wert, Henning Schulz and Christoph Heger. AIM: Adaptable Instrumentation and Monitoring for Automated Software Performance Analysis

  • Jochen Schimmel, Korbinian Molitorisz and Ali Jannesari. Combining Unit Tests for Data Race Detection

  • Bindu Madhavi Padmanabhuni and Hee Beng Kuan Tan. Light-Weight Rule-Based Test Case Generation for Detecting Buffer Overflow Vulnerabilities

7:30 - : Workshop Dinner

(The workshop dinner will take place at Trattoria al Trebbio, via delle Belle Donne 47/49R)

Day 2: 24 May 2015

9:00 - 10:30: Session 5: Test Oracles (II), Chair: Dan Hao

  • Tsong Yueh Chen. Keynote: Metamorphic Testing: A Simple Method for Alleviating the Test Oracle Problem

  • Fang-Hsiang Su, Jonathan Bell, Christian Murphy and Gail Kaiser. Dynamic Inference of Likely Metamorphic Properties to Support Differential Testing

10:30 - 11:00: Tea/Coffee Break

11:00 - 12:30: Session 6: Program Analysis, Chair: Hong Zhu

  • Vincenzo Musco, Martin Monperrus and Philippe Preux. An Experimental Protocol for Analyzing the Accuracy of Software Error Impact Analysis

  • Sun Ding, Hee Beng Kuan Tan and Lwin Khin Shar. Mining Patterns of Unsatisfiable Constraints to Detect Infeasible Paths

  • Andrea Stocco, Maurizio Leotta, Filippo Ricca and Paolo Tonella. Why Creating Web Page Objects Manually If It Can Be Done Automatically?

12;30 - 2:30: Lunch Break

2:30 - 3:30: Session 7: Fault Injection and Empirical Studies, Chair: Leonardo Mariani

  • Stefan Winter, Thorsten Piper, Oliver Schwahn, Roberto Natella and Neeraj Suri; Domenico Cotroneo. GRINDER: On Reusability of Fault Injection Tools

  • Lei Ma, Cheng Zhang, Bing Yu and Hiroyuki Sato. An Empirical Study on Effects of Code Visibility on Code Coverage of Software Testing

3:30 - 4:00: Tea/Coffee Break

4:00 - 5:30: Session 8: Charette Discussion, Chair: Hong Zhu

  • Discussions on the special theme of Test Oracles