Programme
27th Aug (Day 1) | |||
Session 1 | Session 2 | Session 3 | |
9:00-10:30 |
Tutorial 1: (Room: Siji) Metamorphic Testing T. Y. Chen (Swinburne University of Technology, Australia) |
Tutorial 2: (Room: Huayuanba) Software Analytics: Data-driven Engineering of Software and Services Dongmei Zhang (Microsoft Research Asia, China), Yingnong Dang (Microsoft Research Asia, China), Shi Han (Microsoft Research Asia, China), and Tao Xie (North Carolina State University, USA) |
International Workshop on Embedded System Software Development and Quality Assurance - Session I (Room: Yueji) JSCloud: Toward Remote Execution of JavaScript Code on Handheld Devices Winson Li, Shangru Wu, Wing-Kwong Chan, T.H. Tse A Cyber-Physical Energy System Architecture for Electric Vehicles Charging Application Yongqi Ge, Yunwei Dong, Hongbing Zhao Design and Implementation of AADL Model Safety Assessment Tool Hongbing Zhao, Deming Song, Yunwei Dong |
10:30-11:00 |
Tea Break |
||
11:00-12:30 |
Tutorial 1 cont’d: (Room: Siji) Metamorphic Testing (cont'd) T. Y. Chen (Swinburne University of Technology, Australia) |
Tutorial 2 cont’d:(Room: Huayuanba) Software Analytics: Data-driven Engineering of Software and Services (cont'd) Dongmei Zhang (Microsoft Research Asia, China), Yingnong Dang (Microsoft Research Asia, China), Shi Han (Microsoft Research Asia, China), and Tao Xie (North Carolina State University, USA) |
International Workshop on Embedded System Software Development and Quality Assurance - Session II (Room: Yueji) An Integrated Development Environment to Support the Multi-core Embedded Systems Development Chih-Hung Chang, Chih-Wei Lu, William C. Chu, Pao-Ann Hsiung, Nien-Lin Hsueh, Chorng-Shiuh Koong, Chao-Tung Yang A Component-based Authoring Tool and Script Language for Mpeg-4 Chorng-Shiuh Koong, Po-Huan Lee, Yu-Hsiang Wang, Chih-Hung Chang, William C. Chu |
12:30-13:30 |
Lunch Break |
||
13:30-15:00 |
Tutorial 3: (Room: Siji) Strategic Management of Technical Debt Philippe Kruchten (University of British Columbia, Canada) |
Tutorial 4: (Room: Huayuanba) Structural Testing with PathCrawler Nicky Williams (LSL laboratory) and Nikolai Kosmatov (Software Safety Lab of CEA LIST) |
International Workshop on Embedded System Software Development and Quality Assurance - Session III (Room: Yueji) Program Transformation Framework for Multicore Software Reengineering Hongji Yang, Feng Chen, Baowen Xu An Embedded Fingertip Detection System Based on Skin Colour Yun Liao, Yuxiaing Zhou, Huan Zhou, Zhihong Liang |
15:00-15:30 |
Tea Break |
||
15:30-17:00 |
Tutorial 3 cont’d: (Room: Siji) Strategic Management of Technical Debt (cont'd) Philippe Kruchten (University of British Columbia, Canada) |
Tutorial 4 cont’d: (Room: Huayuanba) Structural Testing with PathCrawler (cont'd) Nicky Williams (LSL laboratory) and Nikolai Kosmatov (Software Safety Lab of CEA LIST) |
28th Aug (Day 2) | |||
Session 1 | Session 2 | Session 3 | |
8:45-9:00 |
QSIC Opening (Room: Lanhua) | ||
9:00-10:00 |
Keynote: Quality Assurance for Evolving Systems, Mary Jean Harrold (Room: Lanhua) | ||
10:00-10:30 |
Tea Break |
||
10:30-12:00 |
Industry Track - Part 1 (Room: Yueji) Session Chair: Antony Tang Developing a Feedback-Driven Automated Testing Tool for Web Applications Scott McMaster and Xun Yuan Applying Continuous Code Reviews in Airport Operations Software Mario Bernhart, Stefan Strobl, Andreas Mauczka and Thomas Grechenig |
Passive and Metamorphic Testing (Room: Lanhua) Session Chair: Manuel Nunez An IOSTS based Passive Testing approach for the Validation of data-centric Protocols Pramila Mouttappa, Stephane Maag and Ana Cavalli A New Method for Constructing Metamorphic Relations Huai Liu, Xuan Liu and Tsong Yueh Chen Passive Testing of Timed Systems with Timeouts Mercedes Merayo |
|
12:00-13:00 |
Lunch Break |
||
13:00-14:30 |
Industry Track - Part 2 (Room: Yueji) Session Chair: Hongyu Zhang Emulation of Cloud-Scale Environments for Scalability Testing Steve Versteeg, Cameron Hine, Jean-Guy Schneider and Jun Han MPT.BR: A Brazilian Maturity Model for Testing Ana Paula Cavalcanti Furtado, Marcos André Wanderley Gomes, Ermeson Carneiro Andrade and Ivaldir Honório de Farias Junior A Methodological Framework for Evaluating Software Testing Techniques and Tools Tanja Vos, Beatriz Marín, Maria Jose Escalona and Alessandro Marchetto |
Quality of Service-Oriented Applications (Room: Lanhua) Session Chair: Andrea Polini Preferential Refinements of Abstract State Machines for Service Mediators Klaus-Dieter Schewe and Qing Wang Qualitative Analysis of the Impact of SOA Patterns on Quality Attributes Matthias Galster and Paris Avgeriou Scenario-Oriented Testing for Web Service Compositions using BPEL Chang-Ai Sun, Yan Shang, Yan Zhao and Tsong Yueh Chen QFD-Based Approach for Determining QoS Improvement Solutions of Web Service Gang Wang |
Constraint-based Testing and Analysis (Room: Siji) Session Chair: Mercedes Merayo Efficient Refinement Checking for Model-Based Mutation Testing Bernhard K. Aichernig and Elisabeth Joebstl Function Substitution: Towards Constraint Solving in Software Testing Xin Feng, Simon Marr, Tony O'Callaghan, Zhi Quan Zhou and Jacques Carette Reducing the size of dynamic slicing with constraint solving Birgit Hofer and Franz Wotawa |
14:30-15:00 |
Tea Break |
||
15:00-16:00 | Industry Speaker: A model based approach for network protocol interoperability assurance, Yiming Cao (Room: Lanhua) | ||
16:00-17:00 | Panel Discussion: Software verification research: how much impact does it have on the software industry? (Room: Lanhua) | ||
19:00-22:00 | Conference Dinner (Restaurant in Hotel, Fengminggong) |
29th Aug (Day 3) | |||
Session 1 | Session 2 | Session 3 | |
8:50-9:00 |
Announcements | ||
9:00-10:00 |
Keynote: Why is software so bad ? (Is it?), Philippe Kruchten (Room: Lanhua) | ||
10:00-10:30 |
Tea Break |
||
10:30-12:00 |
Reliability Prediction and Analysis of Component-based Systems and Architectures (Room: Siji) Session Chair: Klaus-Dieter Schewe Reliability Prediction for Component-based Systems: Incorporating Error Propagation Analysis and Different Execution Models Thanh-Trung Pham and Xavier Défago On Reliability Analysis for Embedded Syetem with AADL Behavior Model Chang Shaofeng, Dong Yunwei and Zhang Fan Emerald: An Automated Modeling and Verification Tool for Component-Based Real-Time Systems Yizhou Zhang, Hao Lin and Guoqiang Li |
Fault Localization and Prediction (Room: Lanhua) Session Chair: W.K. Chan Leveraging method call anomalies to improve the effectiveness of spectrum-based fault localization techniques for object-oriented programs Jingxuan Tu, Lin Chen, Yuming Zhou and Baowen Xu Fault Localization for Null Pointer Exception Based on Stack Trace and Program Slicing Shujuan Jiang, Wei Li, Haiyang Li, Yanmei Zhang, Hongchang Zhang and Yingqi Liu Compressed C4.5 Models for Software Defect Prediction Jun Wang, Beijun Shen and Yuting Chen Debugging BPEL Programs: A Fault Localization Framework and Empirical Study Chang-Ai Sun, Yi Meng Zhai, Yan Shang and Zhenyu Zhang |
|
12:00-13:00 |
Lunch Break |
||
13:00-14:30 |
Security Testing and Quality Models (Room: Siji) Session Chair: Antony Tang A Security Assurance Framework Combining Formal Verification and Security Functional Testing Weiguang Wang, Qingkai Zeng and Aditya Mathur Risk–Driven Security Testing of Service Centric Systems Philipp Zech, Michael Felderer and Ruth Breu Redefinition of Fault Classes in Logic Expressions Tanay Kanti Paul and Man Fai Lau A Mobile Software Quality Model Dominik Franke, Carsten Weise and Stefan Kowalewski |
Software Testing (Room: Lanhua) Session Chair: Nikolai Kosmatov Automated Discovery of Valid Test Strings using Dynamic Regular Expressions Collation and Tailored Web Searches Muzammil Shahbaz, Phil Mcminn and Mark Stevenson 3-way GUI Test Cases Generation Based on Event-wise Partitioning Jing Feng, Bei-Bei Yin, Kai-Yuan Cai and Zhong-Xing Yu Generating Test Data for Structural Testing Based on Ant Colony Optimization Chengying Mao, Xinxin Yu, Jifu Chen and Jinfu Chen An Improved Delta Debugging for Combinatorial Testing Jie Li, Changhai Nie and Yu Lei |
|
14:30-15:00 |
Tea Break |
||
15:00-16:30 |
Software Verification and Analysis (Room: Siji) Session Chair: Henry Muccini Direct verification of BPMN processes through an optimized unfolding technique Damiano Falcioni, Andrea Polini, Alberto Polzonetti and Barbara Re Multi-Valued Decision Diagrams for the Verification of Consistency in Automotive Product Data Rüdiger Berndt, Peter Bazan, Kai-Steffen Hielscher, Martin Lukasiewycz and Reinhard German On the Relationship between Preprocessor-based Software Variability and Software Defects Kunming Nie Modular Heap Abstraction-based Code Clone Detection for Heap-manipulating Programs Dong Longming, Wang Ji and Chen Liqian |
Model-based Specification and Analysis (Room: Lanhua) Session Chair: Chang-ai Sun Towards Formal Energy and Time Aware Behaviors in EAST-ADL: An MDE Approach Eun-Young Kang, Gilles Perrouin and Pierre-Yves Schobbens A Unified Framework for Modeling and Verifying Cyber Physical Systems Qiaoqiao Chen and Bixin Li An Approach to Integrating Non-Functional Requirements into UML Design Models Based on NFR-Specific Patterns Yi Liu, Zhiyi Ma, Rui Qiu and Weizhong Shao |
|
16:30-17:00 | QSIC 2012 Closing (Room: Lanhua) |