COMPSAC 2015: The 39th Annual International Computers, Software & Applications Conference

 

DSA 2015: International Workshop on Dependable Software and Applications

Program

Sunday July 5
Session 1: 11:00 - 12:30
Location: H103
Session Chair: Zhenyu Chen, Nanjing University

• Formal Modelling and Verification fo the Safety Critical Fire-fighting Control System
  Ya Wang, Rui Wang, Yong Guan, Hongxing Wei, Xiaojuan Li, Jie Zhang
• A Clustering-Bayesian Network based Approach for Test Case Prioritization
  Xiaobin Zhao, Zan Wang, Xiangyu Fan, Zhenhua Wang
• Behavior Verification of Autonomous Robot Vehicle in Consideration of Errors and Disturbances Toshifusa Sekizawa, Fumiya Otsuki, Kazuki Ito, Kozo Okano

DSA short paper/posters: Displayed during breaks (all sessions)

• Spectrum-based Fault Localization Method with Test Case Reduction
  Xiaohong Zhang, Ziyuan Wang, Weifeng Zhang, Hui Ding, Lin Chen
• A Model for Assessing the Dependability of Internetware Software Systems
  Huiqun Zhao, Jing Sun, RuiXue Zhao
• An Agent-based Self-adaptive Mechanism with Reinforcement Learning
  Danni Yu Qingshan, Li Lu Wang, Yishuai Lin
• Detecting SQL Vulnerability Attack based on the Dynamic and Static Analysis Technology
  Yaohui Wang, Dan Wang, Wenbing Zhao, Yuan Liu

Session 2: 13:30 - 15:00
Location: H103
Session Chair: Mohammad Zulkernine, Queens University, Canada

• Dependence Based Model-healing
  Yue Wang, Zheng Li, Ruilian Zhao
• Unified Programming Model and Software Framework for Big Data Machine Learning and Data Analytics
  Rong Gu, Yun Tang, Qianhao Dong, Zhaokang Wang, Zhiqiang Liu, Shuai Wang, Chunfeng Yuan, Yihua Huang
• Replay Debugging of Real-time Vxworks Applications
  Chunlei Ma, Xiang Long, Bo Jiang, Zhenyu Zhang
• A Method of Building Model for Anomaly Detection Based on Automation
  Sun Haoyang, Dan Wang, Lihua Fu, Wenbing Zhao, Liu Yuang

Session 3: 15:30 - 17:00
Location: H103
Session Chair: Chih-Hung Chang, Hsiuping University of Science & Technology, Taiwan

• Analyzing Lifecycle Behavior of Android Application Components
  Shin Jakajima
• Software for Wearable Devices: Challenges and Opportunities
  He Jiang, Xin Chen, Shuwei Zhang, Xin Zhang, Weiqiang Kong, Tao Zhang
• An Architecture for Cloud Service Testing and Real Time Management
  Win-Tsung Lo, Xiao-Long Liu, Ruey-Kai Sheu, Shyan-Ming Yuan, Chun-Yu Chang
• Detecting SQL Vulnerability Attack based on the Dynamic and Static Analysis Technology
  Yaohui Wang, Dan Wang, Webing Zhao, Yuan Liu

The International Workshop on Dependable Software and Applications (DSA 2015) will be held at COMPSAC 2015. It will provide researchers and practitioners with a forum for exchanging ideas, experiences, understanding of the problems, promising solutions to the problems, for dependable software and applications.

 

Topics of interest, but not limited to:

• Architecture and design for dependable software
• Big data and cloud computing
• Components, services, and middleware
• Embedded and real-time software
• Empirical software engineering
• Formal methods and testing
• Human and social factors for dependable software
• Knowledge based software engineering
• Mobile, ubiquitous, and pervasive software
• Safety-critical systems
• Safety, security, and reliability
• Software evolution and maintenance

 

Authors are invited to submit original, unpublished research papers as well as industrial practice papers. Simultaneous submissions to other publications and conferences are not permitted.

The length of a camera ready paper will be limited to 6 pages (IEEE Proceedings style) with up to 2 additional pages (with charges for each additional page) printed on 10-12 point fonts.

Authors must follow IEEE CS Press Proceedings Author Guidelines to prepare papers. At least one of the authors of each accepted paper is required to pay full registration fee and present the paper at the workshop in person. Arrangements are being made to publish selected papers in reputable journals. The submissions must be in PDF, Postscript or RTF format and uploaded to the conference submission site.