qsic 2013 program - nju

QSIC 2013 Program

July 28 14:00-17:00 Registration 17:00-20:30 Reception

July 29

8:45-9:00 Opening Session

9:00-10:00 Keynote Speech I, Mauro Pezze: Low-cost Oracles

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 Industry Invited Speech, Roberto Bagnara: Quality Verification Tools for Quality

Software


15:00-16:30 Session 3

SQIP

Session 4

QoS(2)

Workshop

SQHE 1


17:00-18:00 Session 5

Static Checking

Session 6

Software Testing

Workshop

SQHE 2

18:30-20:30 Banquet

July 30

9:00-10:00 Keynote Speech II, Magne Jorgensen: Judgment and decision-making in software

engineering. When are the 'experts' experts? How can we know?


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:30-17:00 Session 10

Fault Localization Workshop

TVECS 2 Workshop

TSETH 3

July 31 9:00-16:00 Visiting Nanjing

Conference Map

Conference Map

July 28

14:00-17:00 Registration (The 1st Floor, Hotel)

17:00-20:30 Reception (Confucius Temple)

Bus, 17:00, from Hotel to Confucius Temple

A short tour in Confucius Temple

Reception at QinHuaiRenJia Restaurant

Bus, 20:30, from Confucius Temple to Hotel

July 29, Morning

7:45 - 8:45 Registration (The 6th

Floor)

8:45-9:00 Opening Session (G.E. Ballroom-A)

9:00-10:00 Keynote Speech I (G.E. Ballroom-A)

Mauro Pezze: Low-cost Oracles

Chair: T.H. Tse

10:00-10:30 Coffee Break (The 6th Floor)

10:30-12:00 Parallel Sessions

G.E.Ballroom-A

Session 1: Symbolic Execution

Chair: Arnaud Gotlieb

Binary-Level Testing of

Embedded Programs

Sebastien Bardin, Philippe

Herrmann, Sébastien Labbé,

Nicolas Cornuet and Philippe

Baufreton.

Symbolic Execution of Virtual

Devices

Kai Cong, Fei Xie and Li Lei.

A Search Strategy Guided By

Uncovered Branches For

Concolic Testing

Qixing Dong, Jun Yan, Jian Zhang

and Fanping Zeng

Room 6

Session 2: QoS(1)

Chair: Y.T. Yu

Measuring Qualities for OSGi

Component-Based Applications

Salma Hamza, Salah Sadou and

Régis Fleurquin

A Study on the Efficiency Aspect

of Data Race Detection: A

Compiler Optimization Level

Perspective

Changjiang Jia and W.K. Chan

Bayesian Probabilistic Monitor:

A new and efficient probabilistic

monitoring approach based on

Bayesian statistics

Meijun Xu, Pengcheng Zhang,

Wenrui Li, Hareton Leung

Room 5

QUAMES

Chair: Beatriz Marín

Workflow-based Modeling of

Web Application and

Automatically Generating Test

Sequences

Lulu Dong, Hua Li and Sumei

Zhang

Interaction Models Matter in

the Evaluation of Quality of

Conceptual Models

Beatriz Marín, Giovanni

Giachetti, Oscar Pastor Lopez and

Alain Abran

Supporting Reliability Modeling

and Analysis for

Component-Based Software

Architecture: An XML-Based

Approach

Weichao Luo and Linpeng Huang

Dealing with Software Model

Quality in Practice: Experience

in a Research Project

Jose Luis de La Vara and

Huascar Espinoza

12:00-13:30 Lunch (The 7th

Floor Restaurant)

July 29, Afternoon

13:30-14:30 Industry Invited Speech (G.E. Ballroom-A)

Roberto Bagnara: Quality Verification Tools for Quality Software

Chair: Arnaud Gotlieb



G.E.Ballroom-A

Session 3: SQIP

Chair: Rui Abreu

Ensuring Safety of Avionics

Software at the Architecture

Design Level: An Industrial

Case Study

Ji Wu, Tao Yue, Shaukat Ali and

Huihui Zhang

Outsourcing software testing: A

case study in the Oulu area

Ilkka Tervonen, Antti Haapalahti,

Lasse Harjumaa and Jouni Similä

Using Feature Model to Support

Model-Based Testing of Product

Lines: An Industrial Case Study

Shuai Wang, Shaukat Ali, Tao Yue

and Marius Liaaen

Room 6

Session 4: QoS(2)

Chair: Pengcheng Zhang

Improving Service Diagnosis

Through Invocation Monitoring

Cuiting Chen, Hans-Gerhard

Gross and Andy Zaidman.

Evaluating Web Service Quality

using Finite State Models

Olga Kondratyeva, Natalia

Kushik, Ana Cavalli and Nina

Yevtushenko

An Empirical Study of Adoption

of Software Testing in Open

Source Projects

Pavneet Singh Kochhar,

Tegawendé François Bissyandé,

David Lo and Lingxiao Jiang

Room 5

SQHE 1

Chair: Juei-Nan Chen

Applying Cloud computing

technologies to Gerontology and

Geriatrics Health Care System

(GGHCS)

Tse-Chuan Hsu, Chih-Hung

Chang, William C. Chu,

Shinn-Ying Ho, Nien-Lin Hsueh,

Wei-Bin Lee

Considerations in Designing

Computer Interfaces for Elderly

People

Drew Williams, Mohammad

Alam, William Chu and Sheikh

Iqbal Ahamed

Abstraction based Domain

Ontology Extraction for

Creative Idea Creation

Delin Jing, Hongji Yang,

Yingchun Tian



G.E.Ballroom-A

Session 5: Static Checking

Chair: Sébastien Bardin

An Approach for Checking

OSEK/VDX Applications

Haitao Zhang, Toshiaki Aoki,

Kenro Yatake, Min Zhang and

Room 6

Session 6: Software Testing

Chair: Natalia Kushik

Improving Test Case Generation

from UML Statecharts by using

Control, Data and

Communication Dependences

Room 5

SQHE 2

Chair: William Cheng-Chung Chu

Performance Testing

Framework for REST-based

Web Applications

Chia Hung Kao, Chun Cheng Lin,

Hsin-Hung Lin

Static Slicing for Python

First-Class Objects

Zhaogui Xu, Ju Qian, Lin Chen,

Zhifei Chen and Baowen Xu

Valentin Chimisliu and Franz

Wotawa

PCTF: An Integrated,

Extensible Cloud Test

Framework for Testing

Ganesh Neelakanta Iyer,

Jayakhanna Pasimuthu and

Ramesh Loganathan.

Juei-Nan Chen

A Mobile Centered and Web

Service Integrated Approach for

legacy eHealth Web Migration

Nien-Lin Hsueh, Chen Pei-Sheng,

Chao-Tung Yang, Chih-Wei Lu,

Chih-Hung Chang

Towards Designing A Quality

Software System for Mental

Disease Treatment through

Artistic Painting Therapy

Yingmei Wang, Jia Jiang, Hongji

Yang

18:30-20:30 Banquet (Fairy Garden, The 6th

Floor)

July 30, Morning

8:00 - 9:00 Registration (The 6th Floor)

9:00-10:00 Keynote Speech II (G.E. Ballroom-A)

Magne Jorgensen: Judgment and decision-making in software engineering.

When are the 'experts' experts? How can we know?

Chair: T.Y. Chen



G.E.Ballroom-A

Session 7: Software Faults (1)

Chair: Xiaoguang Mao

The right choice matters! SMT

solving substantially improves

model-based debugging of

spreadsheets

Birgit Hofer, Franz Wotawa,

Simon Außerlechner, Sandra

Fruhmann, Wolfgang Wieser,

Clemens Mühlbacher and Raphael

Spörk.

Room 6

Session 8: DSL

Chair: Beatriz Marin

Requirements-driven Testing of

Domain-specific Core Language

Models using Scenarios

Stefan Sobernig, Bernhard Hoisl

and Mark Strembeck

Improving the Quality of

Context-Aware Applications: an

Activity-Oriented Context

Approach

Room 5

TSETH 1: Efficiency

Chair: Changhai Nie

Leveraging a Constraint Solver

for Minimizing Test Suites

José Campos and Rui Abreu

The ART of Divide and

Conquer: An Innovative

Approach to Improving the

Efficiency of Adaptive Random

Testing

Cliff Chow, Tsong Yueh Chen and

An Approach to Fully

Recognizing Addressable

Expression

Yukun Dong, Ying Xing and

Dahai Jin

On the Correlation between the

Effectiveness of Metamorphic

Relations and Dissimilarities of

Test Case Executions

Yuxiang Cao, Zhi Quan Zhou and

Tsong Yueh Chen

Xuansong Li, Xianping Tao and

Jian Lu

Providing Support for

Specifying Redundancy Tactics

Using Aspect-Oriented

Modeling

Xiang Qiu and Li Zhang

T.H. Tse

Taming Deadlocks in

Multithreaded Programs

Yan Cai, W.K. Chan and Y.T. Yu

Energy Efficiency in Software

Regression Testing - A

Comparison of DVFS

Techniques

Edward Y. Y. Kan

12:00-13:30 Lunch (The 7th

Floor Restaurant)

July 30, Afternoon


G.E.Ballroom-A

Session 9: Software faults (2)

Chair: W.K. Chan

A Comparison of Mutation

Analysis Tools

Mickaël Delahaye and Lydie Du

Bousquet

Automatically Mining High

Level Patterns of Software

Faults within Methods

Hailong Zhang and Dalin Zhang

An Empirical Study of Bugs in

Software Build Systems

Xin Xia, Xiaozhen Zhou, David

Lo and Xiaoqiong Zhao

Room 6

TVECS 1

Chair: Bo Jiang

A Bidirectional Framework for

Model Synchronization in

Component-Based Software

Development

Luxi Chen, Linpeng Huang, Tao

Zan, Chen Li and Yiqing Zhu

Automatic Validation of Design

Decision based on Multiple

Analysis Methods Integration

Jiayu Luo, Ruiyin Huang and

Xiangping Chen

On Schedulability Analysis for

Embedded Systems with AADL

Model

Yunwei Dong, Yao Cheng,

Tingting Wu and Hong Ye

An Approach to Reliable

Software Architectures

Evolution

Xu Li and Linpeng Huang

Room 5

TSETH 2: Adaptiveness

Chair: Rui Abreu

Adaptive Combinatorial Testing

Changhai Nie, Hareton Leung and

Kai-Yuan Cai

Similarity-Based Search for

Model Checking: A Pilot Study

with Java PathFinder

Elmin Ibrahimov, Jixing Wang

and Zhi Quan Zhou

Impacts of Test Suite’s Class

Imbalance on Spectrum-Based

Fault Localization Techniques

Peifeng Rao, Zheng Zheng, Tsong

Yueh Chen, Nan Wang and

Kaiyuan Cai Regular

A Theoretical Study: The

Impact of Cloning Failed Test

Cases on the Effectiveness of

Fault Localization

Cheng Gong, Zheng Zheng,

Yichao Gao, Zhenyu Zhang and

Long Zhang



G.E.Ballroom-A

Session 10: Fault localization

Chair: Birgit Hofer

CLPS-MFL: Using Concept

Lattice of Program Spectrum

for Effective Multi-Fault

Localization

Xiaobing Sun, Bixin Li and

Wanzhi Wen

ColFinder: Collaborative

Concurrency Bug Detection

Zhendong Wu, Kai Lu, Xiaoping

Wang and Xu Zhou

Backward-Slice-based

Statistical Fault Localization

without Test Oracles

Yan Lei, Xiaoguang Mao and

Tsong Yueh Chen

Room 6

TVECS 2

Chair: Xiaoying Bai

Automated Test Case

Generation for Embedded

Software Using Extended

Interface Automata

Zhang Chao, Bai Xiaoying, Li

Junlong and Zhang Renwei

An Approach for Fault

Localization Based on Program

Slicing and Bayesian

Yingqi Liu, Wei Li, Shujuan Jiang

and Yanmei Zhang

A Low-cost Fault Tolerance

Technique in Multi-media

Applications through

Configurability

Tan Lanfang and Tan Ying

Room 5

TSETH 3: Experiences

Chair: Bo Jiang

Using the 5W+1H Model in

Reporting Systematic Literature

Review: A Case Study on

Software Testing for Cloud

Computing

Changjiang Jia and Y.T. Yu

Incremental Identification of

Categories and Choices for Test

Case Generation: A Study of the

Software Practitioners'

Preferences

Pak-Lok Poon, Tsong Yueh Chen

and T.H. Tse

Oracles are Hardly Attain'd,

And Hardly Understood:

Confessions of Software Testing

Researchers

W.K. Chan and T.H. Tse

July 31

9:00-16:00 Visiting Nanjing

Bus, 9:00, pick up at Hotel

Sun Yat-sen Mausoleum

Ming XiaoLing Mausoleum

Zhonghua Gate Castle

Bus, 16:00, drop off at Hotel

qsic 2013 program - nju

Documents