qsic 2013 program - nju
Post on 03-Feb-2022
2 Views
Preview:
TRANSCRIPT
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
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-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: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 Coffee Break
15:30-17:00 Session 10
Fault Localization Workshop
TVECS 2 Workshop
TSETH 3
July 31 9:00-16:00 Visiting Nanjing
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
14:30-15:00 Coffee Break (The 6th Floor)
15:00-16:30 Parallel Sessions
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
16:30-17:00 Coffee Break (The 6th Floor)
17:00-18:00 Parallel Sessions
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
10:00-10:30 Coffee Break (The 6th Floor)
10:30-12:00 Parallel Sessions
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
13:30-15:00 Parallel Sessions
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
15:00-15:30 Coffee Break (The 6th Floor)
15:30-17:00 Parallel Sessions
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
top related