Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Yukun Dong, Ying Xing, Dahai Jin, Yunzhan Gong, Kai Liu |
An Approach to Fully Recognizing Addressable Expression. |
QSIC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Yichao Gao, Zhenyu Zhang 0004, Long Zhang, Cheng Gong, Zheng Zheng 0001 |
A Theoretical Study: The Impact of Cloning Failed Test Cases on the Effectiveness of Fault Localization. |
QSIC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jiayu Luo, Ruiying Huang, Xiangping Chen |
Automatic Validation of Design Decision Based on Multiple Analysis Methods Integration. |
QSIC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Feng Chen 0004, Hongji Yang, William Cheng-Chung Chu, Baowen Xu |
A Program Transformation Framework for Multicore Software Reengineering. |
QSIC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jun Wang, Beijun Shen, Yuting Chen |
Compressed C4.5 Models for Software Defect Prediction. |
QSIC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Yizhou Zhang, Hao Lin, Guoqiang Li 0001 |
Emerald: An Automated Modeling and Verification Tool for Component-Based Real-Time Systems. |
QSIC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Chorng-Shiuh Koong, Bo-Huan Lee, Yu-Hsiang Wang, Chih-Hung Chang, William C. Chu |
A Component-Based Authoring Tool and Script Language for MPEG-4. |
QSIC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Chengying Mao, Xinxin Yu, Jifu Chen 0001, Jinfu Chen 0001 |
Generating Test Data for Structural Testing Based on Ant Colony Optimization. |
QSIC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Hong-bing Zhao, Deming Song, Yunwei Dong |
Design and Implementation of AADL Model Safety Assessment Tool. |
QSIC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Tsong Yueh Chen, Fei-Ching Kuo, Dave Towey, Zhiquan Zhou |
Metamorphic Testing: Applications and Integration with Other Methods: Tutorial Synopsis. |
QSIC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Eun-Young Kang 0001, Gilles Perrouin, Pierre-Yves Schobbens |
Towards Formal Energy and Time Aware Behaviors in EAST-ADL: An MDE Approach. |
QSIC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jing Feng, Bei-Bei Yin, Kai-Yuan Cai, Zhongxing Yu |
3-Way GUI Test Cases Generation Based on Event-Wise Partitioning. |
QSIC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Steven Versteeg, Cameron M. Hine, Jean-Guy Schneider, Jun Han 0004 |
Emulation of Cloud-Scale Environments for Scalability Testing. |
QSIC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Scott McMaster, Xun Yuan |
Developing a Feedback-Driven Automated Testing Tool for Web Applications. |
QSIC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Thanh-Trung Pham, Xavier Défago |
Reliability Prediction for Component-Based Systems: Incorporating Error Propagation Analysis and Different Execution Models. |
QSIC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Winson Y. S. Li, Shangru Wu, Wing Kwong Chan, T. H. Tse |
JSCloud: Toward Remote Execution of JavaScript Code on Handheld Devices. |
QSIC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard K. Aichernig, Elisabeth Jöbstl |
Efficient Refinement Checking for Model-Based Mutation Testing. |
QSIC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Yi Liu, Zhiyi Ma, Rui Qiu, Hongjie Chen, Weizhong Shao |
An Approach to Integrating Non-functional Requirements into UML Design Models Based on NFR-Specific Patterns. |
QSIC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Tanay Kanti Paul, Man Fai Lau |
Redefinition of Fault Classes in Logic Expressions. |
QSIC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Dominik Franke, Stefan Kowalewski, Carsten Weise |
A Mobile Software Quality Model. |
QSIC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Philipp Zech, Michael Felderer, Ruth Breu |
Towards Risk - Driven Security Testing of Service Centric Systems. |
QSIC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Longming Dong, Ji Wang 0001, Liqian Chen |
Modular Heap Abstraction-Based Code Clone Detection for Heap-Manipulating Programs. |
QSIC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Xiaoxiang Zhai, Qiaoqiao Chen, Shunhui Ji, Bixin Li |
A Unified Modeling and Verifying Framework for Cyber Physical Systems. |
QSIC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Muzammil Shahbaz, Phil McMinn, Mark Stevenson |
Automated Discovery of Valid Test Strings from the Web Using Dynamic Regular Expressions Collation and Natural Language Processing. |
QSIC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Yun Liao, Yuxiang Zhou, Hua Zhou, Zhihong Liang |
Fingertips Detection Algorithm Based on Skin Colour Filtering and Distance Transformation. |
QSIC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Mercedes G. Merayo |
Passive Testing of Timed Systems with Timeouts. |
QSIC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Chih-Hung Chang, Chih-Wei Lu, William C. Chu, Pao-Ann Hsiung, Nien-Lin Hsueh, Chorng-Shiuh Koong, Chao-Tung Yang |
An Integrated Development Environment to Support the Multi-core Embedded Systems Development. |
QSIC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Chang-Ai Sun, Yimeng Zhai, Yan Shang, Zhenyu Zhang |
Toward Effectively Locating Integration-Level Faults in BPEL Programs. |
QSIC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Tanja E. J. Vos, Beatriz Marín, María José Escalona, Alessandro Marchetto 0001 |
A Methodological Framework for Evaluating Software Testing Techniques and Tools. |
QSIC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ana Paula Carvalho Cavalcanti Furtado, Marcos André Wanderley Gomes, Ermeson Carneiro de Andrade, Ivaldir Honório de Farias Júnior |
MPT.BR: A Brazilian Maturity Model for Testing. |
QSIC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Yongqi Ge, Yunwei Dong, Hong-bing Zhao |
A Cyber-physical Energy System Architecture for Electric Vehicles Charging Application. |
QSIC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Galster, Paris Avgeriou |
Qualitative Analysis of the Impact of SOA Patterns on Quality Attributes. |
QSIC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Rüdiger Berndt, Peter Bazan, Kai-Steffen Hielscher, Reinhard German, Martin Lukasiewycz |
Multi-valued Decision Diagrams for the Verification of Consistency in Automotive Product Data. |
QSIC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Chang-Ai Sun, Yan Shang, Yan Zhao, Tsong Yueh Chen |
Scenario-Oriented Testing for Web Service Compositions Using BPEL. |
QSIC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Kruchten |
Strategic Management of Technical Debt: Tutorial Synopsis. |
QSIC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jingxuan Tu, Lin Chen 0015, Yuming Zhou, Jianjun Zhao 0001, Baowen Xu |
Leveraging Method Call Anomalies to Improve the Effectiveness of Spectrum-Based Fault Localization Techniques for Object-Oriented Programs. |
QSIC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Birgit Hofer, Franz Wotawa |
Reducing the Size of Dynamic Slicing with Constraint Solving. |
QSIC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Xin Feng, Simon Marr, Tony O'Callaghan, Zhi Quan Zhou, Jacques Carette |
Function Substitution: Towards Constraint Solving in Software Testing. |
QSIC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Klaus-Dieter Schewe, Qing Wang 0002 |
Preferential Refinements of Abstract State Machines for Service Mediators. |
QSIC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Antony Tang, Henry Muccini (eds.) |
2012 12th International Conference on Quality Software, Xi'an, Shaanxi, China, August 27-29, 2012 |
QSIC |
2012 |
DBLP BibTeX RDF |
|
1 | Damiano Falcioni, Andrea Polini, Alberto Polzonetti, Barbara Re 0001 |
Direct Verification of BPMN Processes through an Optimized Unfolding Technique. |
QSIC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Nicky Williams, Nikolai Kosmatov |
Structural Testing with PathCrawler: Tutorial Synopsis. |
QSIC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Pramila Mouttappa, Stéphane Maag, Ana R. Cavalli |
An IOSTS Based Passive Testing Approach for the Validation of Data-Centric Protocols. |
QSIC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jie Li, Changhai Nie, Yu Lei 0001 |
Improved Delta Debugging Based on Combinatorial Testing. |
QSIC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Shaofeng Chang, Yunwei Dong, Fan Zhang 0099 |
On Reliability Analysis for Embedded Systems with AADL Behavior Model. |
QSIC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Shujuan Jiang, Wei Li, Haiyang Li, Yanmei Zhang, Hongchang Zhang, Yingqi Liu |
Fault Localization for Null Pointer Exception Based on Stack Trace and Program Slicing. |
QSIC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Weiguang Wang, Qingkai Zeng 0002, Aditya P. Mathur |
A Security Assurance Framework Combining Formal Verification and Security Functional Testing. |
QSIC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Mario Bernhart, Stefan Strobl, Andreas Mauczka, Thomas Grechenig |
Applying Continuous Code Reviews in Airport Operations Software. |
QSIC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Huai Liu, Xuan Liu, Tsong Yueh Chen |
A New Method for Constructing Metamorphic Relations. |
QSIC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Xiang Huang 0005, Wei Wang 0049, Wenbo Zhang 0006, Jun Wei 0001, Tao Huang 0001 |
An Automatic Performance Modeling Approach to Capacity Planning for Multi-service Web Applications. |
QSIC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Núñez 0001, Robert M. Hierons, Mercedes G. Merayo (eds.) |
Proceedings of the 11th International Conference on Quality Software, QSIC 2011, Madrid, Spain, July 13-14, 2011. |
QSIC |
2011 |
DBLP BibTeX RDF |
|
1 | Haruhiko Kaiya, Atsushi Ohnishi |
Quality Requirements Analysis Using Requirements Frames. |
QSIC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Chen-Wei Wang, Alessandra Cavarra, Jim Davies |
Formal and Model-Based Testing of Concurrent Workflows. |
QSIC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Xiaowei Zhang, Donggang Cao, Hong Mei 0001, Fuqing Yang |
Towards Balancing Determinism, Memory Consumption and Throughput for RTSJ-Based Real-Time Applications. |
QSIC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Antti Nieminen, Antti Jääskeläinen, Heikki Virtanen, Mika Katara |
A Comparison of Test Generation Algorithms for Testing Application Interactions. |
QSIC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jasen Markovski |
Saving Time in a Space-Efficient Simulation Algorithm. |
QSIC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Hendrik Decker |
Data Quality Maintenance by Integrity-Preserving Repairs that Tolerate Inconsistency. |
QSIC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Xiaoquan Wu, Zhongxing Xu, Jun Wei |
Static Detection of Bugs Caused by Incorrect Exception Handling in Java Programs. |
QSIC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Yutaka Matsuno, Kenji Taguchi 0001 |
Parameterised Argument Structure for GSN Patterns. |
QSIC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Antonio García-Domínguez, Inmaculada Medina-Bulo, Mariano Marcos-Bárcena |
Model-Driven Design of Performance Requirements. |
QSIC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Xiulei Qin, Wenbo Zhang 0006, Wei Wang 0049, Jun Wei 0001, Hua Zhong 0001, Tao Huang 0001 |
A Comparative Evaluation of Cache Strategies for Elastic Caching Platforms. |
QSIC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ali Kazemi, Ali Rostampour, Amin Zamiri, Pooyan Jamshidi, Hassan Haghighi, Fereidoon Shams |
An Information Retrieval Based Approach for Measuring Service Conceptual Cohesion. |
QSIC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Stephan Weißleder |
Towards Impact Analysis of Test Goal Prioritization on the Efficient Execution of Automatically Generated Test Suites Based on State Machines. |
QSIC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Xulin Zhao, Foutse Khomh, Ying Zou 0001 |
Improving the Modifiability of the Architecture of Business Applications. |
QSIC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Bo Jiang 0001, W. K. Chan 0001, T. H. Tse |
On Practical Adequate Test Suites for Integrated Test Case Prioritization and Fault Localization. |
QSIC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Stefan J. Galler, Thomas Quaritsch, Martin Weiglhofer, Franz Wotawa |
The IntiSa Approach: Test Input Data Generation for Non-primitive Data Types by Means of SMT Solver Based Bounded Model Checking. |
QSIC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Xiaoyuan Xie, W. Eric Wong, Tsong Yueh Chen, Baowen Xu |
Spectrum-Based Fault Localization: Testing Oracles are No Longer Mandatory. |
QSIC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Yunshan Zhao, Yunzhan Gong, Li Liu, Qing Xiao, Zhaohong Yang |
Context-Sensitive Interprocedural Defect Detection Based on a Unified Symbolic Procedure Summary Model. |
QSIC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Dautovic, Reinhold Plösch, Matthias Saft |
Automatic Checking of Quality Best Practices in Software Development Documents. |
QSIC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | A. Selçuk Güceglioglu, Onur Demirörs |
The Application of a New Process Quality Measurement Model for Software Process Improvement Initiatives. |
QSIC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Bandar Alshammari, Colin J. Fidge, Diane Corney |
A Hierarchical Security Assessment Model for Object-Oriented Programs. |
QSIC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Aneta Vulgarakis, Cristina Cerschi Seceleanu, Paul Pettersson, Ivan Skuliber, Darko Huljenic |
Validation of Embedded Systems Behavioral Models on a Component-Based Ericsson Nikola Tesla Demonstrator. |
QSIC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Maxim Zhigulin, Nina Yevtushenko 0001, Stéphane Maag, Ana R. Cavalli |
FSM-Based Test Derivation Strategies for Systems with Time-Outs. |
QSIC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jian Xu, W. K. Chan 0001, Zhenyu Zhang 0004, T. H. Tse, Shanping Li |
A Dynamic Fault Localization Technique with Noise Reduction for Java Programs. |
QSIC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Sven Feja, Sören Witt, Andreas Speck |
BAM: A Requirements Validation and Verification Framework for Business Process Models. |
QSIC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Franz Wotawa, Mihai Nica |
Program Debugging Using Constraints - Is it Feasible? |
QSIC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Xiaoqiang Qiao, Jun Wei 0001 |
Implementing Service Collaboration Based on Decentralized Mediation. |
QSIC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Gordon Fraser 0001, Andrea Arcuri |
Evolutionary Generation of Whole Test Suites. |
QSIC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Shaukat Ali 0001, Muhammad Zohaib Z. Iqbal, Andrea Arcuri, Lionel C. Briand |
A Search-Based OCL Constraint Solver for Model-Based Test Data Generation. |
QSIC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Marco D'Ambros, Alberto Bacchelli, Michele Lanza |
On the Impact of Design Flaws on Software Defects. |
QSIC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ruben Casado, Javier Tuya, Muhammad Younas 0001 |
Testing Long-Lived Web Services Transactions Using a Risk-Based Approach. |
QSIC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Tao Wang 0030, Xiaowei Zhou, Jun Wei 0001, Wenbo Zhang 0006 |
Towards Runtime Plug-and-Play Software. |
QSIC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ziyuan Wang, Baowen Xu, Lin Chen 0015, Lei Xu 0003 |
Adaptive Interaction Fault Location Based on Combinatorial Testing. |
QSIC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Faizah Omar, Suhaimi Ibrahim |
Designing Test Coverage for Grey Box Analysis. |
QSIC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Zhimin He, Fengdi Shu, Ye Yang, Wen Zhang 0001, Qing Wang 0001 |
Data Unpredictability in Software Defect-Fixing Effort Prediction. |
QSIC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Frédéric Massicotte, Yvan Labiche |
Specification-Based Testing of Intrusion Detection Engines Using Logical Expression Testing Criteria. |
QSIC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Cong Sun 0001, Liyong Tang, Zhong Chen 0001 |
Secure Information Flow in Java via Reachability Analysis of Pushdown System. |
QSIC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Xulin Zhao, Ying Zou 0001 |
A Business Process Driven Approach for Generating Software Architecture. |
QSIC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Hasan Sözer, Rui Abreu 0001, Mehmet Aksit, Arjan J. C. van Gemund |
Increasing System Availability with Local Recovery Based on Fault Localization. |
QSIC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Vincent Le Gloahec, Régis Fleurquin, Salah Sadou |
Good Practices as a Quality-Oriented Modeling Assistant. |
QSIC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Rüdiger Lincke, Tobias Gutzmann, Welf Löwe |
Software Quality Prediction Models Compared. |
QSIC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Chen Zhang, Zhenyu Chen 0001, Zhihong Zhao, Shali Yan, Jinyu Zhang, Baowen Xu |
An Improved Regression Test Selection Technique by Clustering Execution Profiles. |
QSIC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Hong Zhu 0002, Bo Yu |
Algebraic Specification of Web Services. |
QSIC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Xiaofang Qi, Xiaoyu Zhou, Xiaojing Xu, Yingzhou Zhang |
Slicing Concurrent Programs Based on Program Reachability Graphs. |
QSIC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Harald Brandl, Martin Weiglhofer, Bernhard K. Aichernig |
Automated Conformance Verification of Hybrid Systems. |
QSIC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Isabella Biscoglio, Alessandro Coco, Fabrizio Fabbrini, Mario Fusani, Giuseppe Lami, Gianluca Trentanni |
Evaluating Web Site Quality: A Statistical Approach. |
QSIC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Nianhua Yang, Huiqun Yu, Hua Sun, Zhilin Qian |
Mapping UML Activity Diagrams to Analyzable Petri Net Models. |
QSIC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Yunni Xia, Hongchao Xue, Xiuwu Wang |
Performance Prediction of WS-CDL Based Service Composition. |
QSIC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Huai Wang, Ke Zhai 0002, T. H. Tse |
Correlating Context-Awareness and Mutation Analysis for Pervasive Computing Systems. |
QSIC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | 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. |
QSIC |
2010 |
DBLP DOI BibTeX RDF |
|