10. QSIC 2010: Zhangjiajie, China

Keynote Addresses

• Paola Inverardi:
  Assessing Dependability for Mobile and Ubiquitous Systems: Is there a Role for Software Architectures? 1
  
• Hans van Vliet:
  Knowledge Sharing in Software Development. 2
  

QSIC 2010 Full Papers

• Harald Brandl, Martin Weiglhofer, Bernhard K. Aichernig:
  Automated Conformance Verification of Hybrid Systems. 3-12
  
• Vidroha Debroy, W. Eric Wong, Xiaofeng Xu, Byoungju Choi:
  A Grouping-Based Strategy to Improve the Effectiveness of Fault Localization Techniques. 13-22
  
• Marco D'Ambros, Alberto Bacchelli, Michele Lanza:
  On the Impact of Design Flaws on Software Defects. 23-31
  
• King Chun Foo, Zhen Ming Jiang, Bram Adams, Ahmed E. Hassan, Ying Zou, Parminder Flora:
  Mining Performance Regression Testing Repositories for Automated Performance Analysis. 32-41
  
• Alberto González-Sanchez, Éric Piel, Hans-Gerhard Groß, Arjan J. C. van Gemund:
  Prioritizing Tests for Software Fault Localization. 42-51
  
• Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez:
  Scenarios-Based Testing of Systems with Distributed Ports. 52-61
  
• Bo Jiang, T. H. Tse, Wolfgang Grieskamp, Nicolas Kicillof, Yiming Cao, Xiang Li:
  Regression Testing Process Improvement for Specification Evolution of Real-World Protocol Software. 62-71
  
• Sihan Li, Naiwen Bian, Zhenyu Chen, Dongjiang You, Yuchen He:
  A Simulation Study on Some Search Algorithms for Regression Test Case Prioritization. 72-81
  
• Rüdiger Lincke, Tobias Gutzmann, Welf Löwe:
  Software Quality Prediction Models Compared. 82-91
  
• Huai Liu, Xiaodong Xie, Jing Yang, Yansheng Lu, Tsong Yueh Chen:
  Adaptive Random Testing by Exclusion through Test Profile. 92-101
  
• Frédéric Massicotte, Yvan Labiche:
  Specification-Based Testing of Intrusion Detection Engines Using Logical Expression Testing Criteria. 102-111
  
• T. H. Ng, Y. T. Yu, S. C. Cheung:
  Factors for Effective Use of Deployed Design Patterns. 112-121
  
• Christian Schwarzl, Bernhard Peischl:
  Test Sequence Generation from Communicating UML State Charts: An Industrial Application of Symbolic Transition Systems. 122-131
  
• Emad Shihab, Zhen Ming Jiang, Bram Adams, Ahmed E. Hassan, Robert Bowerman:
  Prioritizing Unit Test Creation for Test-Driven Maintenance of Legacy Systems. 132-141
  
• Cong Sun, Liyong Tang, Zhong Chen:
  Secure Information Flow in Java via Reachability Analysis of Pushdown System. 142-150
  
• Huai Wang, Ke Zhai, T. H. Tse:
  Correlating Context-Awareness and Mutation Analysis for Pervasive Computing Systems. 151-160
  
• Franz Wotawa:
  Fault Localization Based on Dynamic Slicing and Hitting-Set Computation. 161-170
  
• Chen Zhang, Zhenyu Chen, Zhihong Zhao, Shali Yan, Jinyu Zhang, Baowen Xu:
  An Improved Regression Test Selection Technique by Clustering Execution Profiles. 171-179
  
• Xulin Zhao, Ying Zou:
  A Business Process Driven Approach for Generating Software Architecture. 180-189
  
• Hong Zhu, Bo Yu:
  An Experiment with Algebraic Specifications of Software Components. 190-199
  

QSIC 2010 Short Papers

• Björn Bartels, Sabine Glesner:
  Formal Modeling and Verification of Low-Level Software Programs. 200-207
  
• Jun-Qing Chen, Linpeng Huang:
  A Type System for Behavior Consistent Service Substitution in Service Compositions. 208-213
  
• Yuting Chen, Shaoying Liu, Linzhang Wang:
  An Extension to Data-Flow-Oriented Formal Specification Language for Specifying Concurrent Software Systems. 214-219
  
• Zhimin He, Fengdi Shu, Ye Yang, Wen Zhang, Qing Wang:
  Data Unpredictability in Software Defect-Fixing Effort Prediction. 220-226
  
• Xiaofeng Lei, Chenggang Bai, Liang Su:
  Software Operational Profile Modeling and Reliability Prediction with an Open Environment. 227-231
  
• Chunyan Ma, JunSheng Wu, Tao Zhang, Fei Hu:
  Web Services Testing Based on Stream X-machine. 232-239
  
• Nuyun Zhang, Gang Huang, Ying Zhang, Ning Jiang, Hong Mei:
  Automating Reusable-Procedure Discovery through Developer's Action Analysis. 240-247
  
• Xiaofang Qi, Xiaoyu Zhou, Xiaojing Xu, Yingzhou Zhang:
  Slicing Concurrent Programs Based on Program Reachability Graphs. 248-253
  
• Moisés Rodríguez, Marcela Genero, Damiano Torre, Belen Blasco, Mario Piattini:
  A Methodology for Continuos Quality Assessment of Software Artefacts. 254-261
  
• Kazunori Sakamoto, Hironori Washizaki, Yoshiaki Fukazawa:
  Open Code Coverage Framework: A Consistent and Flexible Framework for Measuring Test Coverage Supporting Multiple Programming Languages. 262-269
  
• Haihe Shi, Jinyun Xue:
  Generating Provably Correct Algorithmic Programs from Formal Specifications. 270-275
  
• Hasan Sözer, Rui Abreu, Mehmet Aksit, Arjan J. C. van Gemund:
  Increasing System Availability with Local Recovery Based on Fault Localization. 276-281
  
• Ziyou Wang, Minghui Zhou, Hong Mei:
  Towards an Empirical Reuse Approach for the Software Evolution: A Case Study. 282-287
  
• Yuankai Wu, Yijian Wu, Xin Peng, Wenyun Zhao:
  Implementing Self-Adaptive Software Architecture by Reflective Component Model and Dynamic AOP: A Case Study. 288-293
  
• Yunni Xia, Hongchao Xue, Xiuwu Wang:
  Performance Prediction of WS-CDL Based Service Composition. 294-299
  
• Jianying Xing, Mengjun Li, Zhoujun Li:
  Automated Program Verification Using Generation of Invariants. 300-305
  
• Yusaku Yoshida, Atsushi Ohnishi:
  Visualized Scenario Classification Method. 306-311
  
• Huiqun Yu, Guisheng Fan, Liqiong Chen, Dongmei Liu:
  A Fault-Tolerant Strategy for Improving the Reliability of Service Composition. 312-317
  
• Changzhi Zhao, Wei Dong, Zhichang Qi:
  Active Monitoring for Control Systems under Anticipatory Semantics. 318-325
  
• Lei Zhao, Kai-Yuan Cai:
  Event Handler-Based Coverage for GUI Testing. 326-331
  

QSIC 2010 Emerging Track Papers

• Isabella Biscoglio, Alessandro Coco, Fabrizio Fabbrini, Mario Fusani, Giuseppe Lami, Gianluca Trentanni:
  Evaluating Web Site Quality: A Statistical Approach. 332-336
  
• Ruben Casado, Javier Tuya, Muhammad Younas:
  Testing Long-Lived Web Services Transactions Using a Risk-Based Approach. 337-340
  
• Zuohua Ding, Mingyue Jiang, Geguang Pu, Jing Liu:
  Requirement Checking: Generating Uses Cases out of Navigational Logs in Web Applications. 341-344
  
• Vincent Le Gloahec, Régis Fleurquin, Salah Sadou:
  Good Practices as a Quality-Oriented Modeling Assistant. 345-348
  
• Chengying Mao:
  Control and Data Complexity Metrics for Web Service Compositions. 349-352
  
• Faizah Omar, Suhaimi Ibrahim:
  Designing Test Coverage for Grey Box Analysis. 353-356
  
• Motoshi Saeki, Shinpei Hayashi, Haruhiko Kaiya:
  An Integrated Support for Attributed Goal-Oriented Requirements Analysis Method and its Implementation. 357-360
  
• Hai Wan, Xiaoyu Song, Gang Chen, Ming Gu:
  A Refinement-Based Validation Method for Programmable Logic Controllers. 361-364
  
• Tao Wang, Xiaowei Zhou, Jun Wei, Wenbo Zhang:
  Towards Runtime Plug-and-Play Software. 365-368
  
• Nianhua Yang, Huiqun Yu, Hua Sun, Zhilin Qian:
  Mapping UML Activity Diagrams to Analyzable Petri Net Models. 369-372
  
• Yi Zhu, Zhiqiu Huang, Zining Cao, Hang Zhou, Min Yuan:
  An MDE Based Approach for Generating Software Architecture Models from Formal Specifications. 373-376
  

IWPDC 2010 Full Papers

• Bo Jiang, W. K. Chan:
  On the Integration of Test Adequacy, Test Case Prioritization, and Statistical Fault Localization. 377-384
  
• Xiaoyuan Xie, Tsong Yueh Chen, Baowen Xu:
  Isolating Suspiciousness from Spectrum-Based Fault Localization Techniques. 385-392
  

IWPDC 2010 Short Papers

• Shujuan Jiang, Hongchang Zhang, Qingtan Wang, Yanmei Zhang:
  A Debugging Approach for Java Runtime Exceptions Based on Program Slicing and Stack Traces. 393-398
  
• Yuan-Hsin Tung, Shian-Shyong Tseng, Tsung-Ju Lee, Jui-Feng Weng:
  A Novel Approach to Automatic Test Case Generation for Web Applications. 399-404
  

QSBS 2010

• Zhenhua Duan, Cong Tian:
  An Executable Concurrent Model for OWL-S Process Models. 405-413
  
• Andrew Kevin Douglas, Robert John Walters, Gary B. Wills:
  NPE A Conceptual Model and Language for the Representation of Norms. 414-421
  
• Xiaohong Li, Yan Cao, Zhiyong Feng, Ran Liu:
  Web Service Security Analysis Model Based on Program Slicing. 422-428
  
• Jiang B. Liu, Nithya Vasudevan Praveen, Kumar Macherla:
  Develop Web Services for Reliable Cross-Platform Web Applications. 429-434
  
• Bo Ma, Bin Chen, Xiaoying Bai, Junfei Huang:
  Design of BDI Agent for Adaptive Performance Testing of Web Services. 435-440
  
• Hongli Yang, Liang Zhou, Kang He, Chen Deng, Xiangpeng Zhao, Zongyan Qiu:
  A Probabilistic QoS Model-Checking for Dynamic Routing Protocol. 441-448
  
• Ke Zhai, W. K. Chan:
  Point-of-Interest Aware Test Case Prioritization: Methods and Experiments. 449-456
  
• Hong Zhu, Bo Yu:
  Algebraic Specification of Web Services. 457-464
  

WESQA 2010

• Jing Chen, Chung-Ping Young, Da-Wei Chang, Guan-Ying Huang, Chung-Yuan Ke, Shih-Tun Yen, Tsang-Shuo Kuo:
  Building Multi-kernel Embedded System on PAC Multi-core Platform. 465-472
  
• Edward Y. Y. Kan, W. K. Chan, T. H. Tse:
  Leveraging Performance and Power Savings for Embedded Systems Using Multiple Target Deadlines. 473-480
  
• Chorng-Shiuh Koong, Hung-Jui Lai, Chih-Hung Chang, William C. Chu, Nien-Lin Hsueh, Pao-Ann Hsiung, Chihhsiong Shih, Chao-Tung Yang:
  Supporting Tool for Embedded Software Testing. 481-487
  
• Hsin-Yu Tung, Chih-Hung Chang, Chih-Wei Lu, William C. Chu, Hongji Yang:
  From Applications, to Models and to Embedded System Code: A Modeling Approach in Action. 488-494
  
• Ziyuan Wang, Baowen Xu, Lin Chen, Lei Xu:
  Adaptive Interaction Fault Location Based on Combinatorial Testing. 495-502
  
• ZhenHong Xu:
  Modeling and Analysis of the Behavior of uCOS Kernel Based on CSP. 503-509
  

Last update Fri May 25 08:33:48 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page