Program:

Download the Program of QSIC 2013

QSIC 2013 Program
July 28
14:00-17:00
Registration
17:00-20:30
Reception
July 29 (Day 1)
7:45 - 8:45
Registration
8:45-9:00
Opening Session
9:00-10:00
Plenary session: Keynote speech I
Prof. Mauro Pezze
10:00-10:30
Coffee Break
10:30-12:00

Session 1

Symbolic Execution

Session 2
QoS(1)
Workshop
(QUAMES)
12:00-13:30
Lunch
13:30-14:30
Pleanry session: Industry invited speech
Prof. Roberto Bagnara
14:30-15:00
Coffee Break
15:00-16:30
Session 3
SQIP
Session 4
QoS(2)
Workshop
(SQHE 1)
16:30-17:00
Coffee Break
17:00-18:00
Session 5
Static Checking
Session 6
Software Testing
Workshop
(SQHE 2)
18:30-21:00
Banquet
July 30 (Day 2)
8:00 - 9:00
Registration
9:00-10:00
Pleanry session: Keynote speech II
Prof. Magne Jorgensen
10:00-10:30
Coffee Break
10:30-12:00
Session 7
Software Faults (1)
Session 8
DSL
Workshop
(TSETH 1)
12:00-13:30
Lunch
13:30-15:00
Session 9
Software Faults (2)
Workshop
(TVECS 1)
Workshop
(TSETH 2)
15:00-15:30
15:30-17:00
Session 10
Fault Localization
Workshop
(TVECS 2)
Workshop
(TSETH 3)
July 31
9:00-16:00
Visiting Nanjing

 

Session 1: Symbolic Execution
July 29, 10:30-12:00

Session Chair: Arnaud Gotlieb

  • Sebastien Bardin, Philippe Herrmann, Sébastien Labbé, Nicolas Cornuet and Philippe Baufreton.
    Binary-Level Testing of Embedded Programs
  • Kai Cong, Fei Xie and Li Lei.
    Symbolic Execution of Virtual Devices
  • Qixing Dong, Jun Yan, Jian Zhang and Fanping Zeng.
    A Search Strategy Guided By Uncovered Branches For Concolic Testing

Session 2: QoS(1)
July 29, 10:30-12:00

Session Chair: Y.T. Yu

  • Salma Hamza, Salah Sadou and Régis Fleurquin.
    Measuring Qualities for OSGi Component-Based Applications
  • Changjiang Jia and W.K. Chan.
    A Study on the Efficiency Aspect of Data Race Detection: A Compiler Optimization Level Perspective
  • Meijun Xu, Pengcheng Zhang, Wenrui Li, Hareton Leung
    Bayesian Probabilistic Monitor: A new and efficient probabilistic monitoring approach based on Bayesian statistics

Session 3: SQIP
July 29, 15:00-16:30

Session Chair: Rui Abreu

  • Ji Wu, Tao Yue, Shaukat Ali and Huihui Zhang.
    Ensuring Safety of Avionics Software at the Architecture Design Level: An Industrial Case Study
  • Ilkka Tervonen, Antti Haapalahti, Lasse Harjumaa and Jouni Similä.
    Outsourcing software testing: A case study in the Oulu area
  • Shuai Wang, Shaukat Ali, Tao Yue and Marius Liaaen.
    Using Feature Model to Support Model-Based Testing of Product Lines: An Industrial Case Study

Session 4: QoS(2)
July 29, 15:00-16:30

Session Chair: Pengcheng Zhang

  • Cuiting Chen, Hans-Gerhard Gross and Andy Zaidman.
    Improving Service Diagnosis Through Invocation Monitoring
  • Olga Kondratyeva, Natalia Kushik, Ana Cavalli and Nina Yevtushenko.
    Evaluating Web Service Quality using Finite State Models
  • Pavneet Singh Kochhar, Tegawendé François Bissyandé, David Lo and Lingxiao Jiang.
    An Empirical Study of Adoption of Software Testing in Open Source Projects

Session 5: Static Checking
July 29, 17:00-18:00

Session Chair: Sébastien Bardin

  • Haitao Zhang, Toshiaki Aoki, Kenro Yatake, Min Zhang and Hsin-Hung Lin.
    An Approach for Checking OSEK/VDX Applications
  • Zhaogui Xu, Ju Qian, Lin Chen, Zhifei Chen and Baowen Xu.
    Static Slicing for Python First-Class Objects

Session 6: Software Testing
July 29, 17:00-18:00

Session Chair: Natalia Kushik

  • Valentin Chimisliu and Franz Wotawa
    Improving Test Case Generation from UML Statecharts by using Control, Data and Communication Dependences
  • Ganesh Neelakanta Iyer, Jayakhanna Pasimuthu and Ramesh Loganathan.
    PCTF: An Integrated, Extensible Cloud Test Framework for Testing

Session 7: Software Faults (1)
July 30, 10:30-12:00

Session Chair: Xiaoguang Mao

  • Birgit Hofer, Franz Wotawa, Simon Außerlechner, Sandra Fruhmann, Wolfgang Wieser, Clemens Mühlbacher and Raphael Spörk.
    The right choice matters! SMT solving substantially improves model-based debugging of spreadsheets
  • Yukun Dong, Ying Xing and Dahai Jin.
    An Approach to Fully Recognizing Addressable Expression
  • Yuxiang Cao, Zhi Quan Zhou and Tsong Yueh Chen.
    On the Correlation between the Effectiveness of Metamorphic Relations and Dissimilarities of Test Case Executions

Session 8: DSL
July 30, 10:30-12:00

Session Chair: Beatriz Marin

  • Stefan Sobernig, Bernhard Hoisl and Mark Strembeck
    Requirements-driven Testing of Domain-specific Core Language Models using Scenarios
  • Xuansong Li, Xianping Tao and Jian Lu.
    Improving the Quality of Context-Aware Applications: an Activity-Oriented Context Approach
  • Xiang Qiu and Li Zhang.
    Providing Support for Specifying Redundancy Tactics Using Aspect-Oriented Modeling

Session 9: Software Faults (2)
July 30, 13:30-15:00

Session Chair: W.K. Chan

  • Mickaël Delahaye and Lydie Du Bousquet
    A Comparison of Mutation Analysis Tools
  • Hailong Zhang and Dalin Zhang.
    Automatically Mining High Level Patterns of Software Faults within Methods
  • Xin Xia, Xiaozhen Zhou, David Lo and Xiaoqiong Zhao
    An Empirical Study of Bugs in Software Build Systems

Session 10: Fault Localization
July 30, 15:30-17:00

Session Chair: Birgit Hofer

  • Xiaobing Sun, Bixin Li and Wanzhi Wen
    CLPS-MFL: Using Concept Lattice of Program Spectrum for Effective Multi-Fault Localization
  • Zhendong Wu, Kai Lu, Xiaoping Wang and Xu Zhou
    ColFinder: Collaborative Concurrency Bug Detection
  • Yan Lei, Xiaoguang Mao and Tsong Yueh Chen
    Backward-Slice-based Statistical Fault Localization without Test Oracles