default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID10. QSIC 2010: Zhangjiajie, China
- Ji Wang, W. K. Chan, Fei-Ching Kuo:
Proceedings of the 10th International Conference on Quality Software, QSIC 2010, Zhangjiajie, China, 14-15 July 2010. IEEE Computer Society 2010
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, Yuen-Tak Yu, Shing-Chi 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-14 00:01 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
