| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Xiaoqiang Qiao, Jun Wei |
Implementing Service Collaboration Based on Decentralized Mediation.  |
QSIC  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bo Jiang, W. K. Chan, T. H. Tse |
On Practical Adequate Test Suites for Integrated Test Case Prioritization and Fault Localization. |
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 | Maxim Zhigulin, Nina Yevtushenko, Stéphane Maag, Ana R. Cavalli |
FSM-Based Test Derivation Strategies for Systems with Time-Outs. |
QSIC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jasen Markovski |
Saving Time in a Space-Efficient Simulation Algorithm. |
QSIC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Shaukat Ali, 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 | Yutaka Matsuno, Kenji Taguchi |
Parameterised Argument Structure for GSN Patterns. |
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 | Chen-Wei Wang, Alessandra Cavarra, Jim Davies |
Formal and Model-Based Testing of Concurrent Workflows. |
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 | Jian Xu, W. K. Chan, Zhenyu Zhang, T. H. Tse, Shanping Li |
A Dynamic Fault Localization Technique with Noise Reduction for Java Programs. |
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 | Manuel Núñez, 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 | 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 | 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 | Franz Wotawa, Mihai Nica |
Program Debugging Using Constraints - Is it Feasible? |
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 | Haruhiko Kaiya, Atsushi Ohnishi |
Quality Requirements Analysis Using Requirements Frames. |
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 | Xiang Huang, Wei Wang, Wenbo Zhang, Jun Wei, Tao Huang |
An Automatic Performance Modeling Approach to Capacity Planning for Multi-service Web Applications. |
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 | 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 | Xiulei Qin, Wenbo Zhang, Wei Wang, Jun Wei, Hua Zhong, Tao Huang |
A Comparative Evaluation of Cache Strategies for Elastic Caching Platforms. |
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 | Xulin Zhao, Foutse Khomh, Ying Zou |
Improving the Modifiability of the Architecture of Business Applications. |
QSIC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gordon Fraser, Andrea Arcuri |
Evolutionary Generation of Whole Test Suites. |
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 | 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 | 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 | Xiaowei Zhang, Donggang Cao, Hong Mei, Fuqing Yang |
Towards Balancing Determinism, Memory Consumption and Throughput for RTSJ-Based Real-Time Applications. |
QSIC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuting Chen, Shaoying Liu, Linzhang Wang |
An Extension to Data-Flow-Oriented Formal Specification Language for Specifying Concurrent Software Systems. |
QSIC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jun-Qing Chen, Linpeng Huang |
A Type System for Behavior Consistent Service Substitution in Service Compositions. |
QSIC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Chen Zhang, Zhenyu Chen, 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 | T. H. Ng, Y. T. Yu, S. C. Cheung |
Factors for Effective Use of Deployed Design Patterns. |
QSIC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Shujuan Jiang, Hongchang Zhang, Qingtan Wang, Yanmei Zhang |
A Debugging Approach for Java Runtime Exceptions Based on Program Slicing and Stack Traces. |
QSIC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez |
Scenarios-Based Testing of Systems with Distributed Ports. |
QSIC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ke Zhai, W. K. Chan |
Point-of-Interest Aware Test Case Prioritization: Methods and Experiments. |
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 | Yuankai Wu, Yijian Wu, Xin Peng, Wenyun Zhao |
Implementing Self-Adaptive Software Architecture by Reflective Component Model and Dynamic AOP: A Case Study. |
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 | Andrew Kevin Douglas, Robert John Walters, Gary B. Wills |
NPE A Conceptual Model and Language for the Representation of Norms. |
QSIC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruben Casado, Javier Tuya, Muhammad Younas |
Testing Long-Lived Web Services Transactions Using a Risk-Based Approach. |
QSIC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hong Zhu, Bo Yu |
Algebraic Specification of Web Services. |
QSIC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sihan Li, Naiwen Bian, Zhenyu Chen, Dongjiang You, Yuchen He |
A Simulation Study on Some Search Algorithms for Regression Test Case Prioritization. |
QSIC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Changzhi Zhao, Wei Dong, Zhichang Qi |
Active Monitoring for Control Systems under Anticipatory Semantics. |
QSIC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ji Wang, W. K. Chan, Fei-Ching Kuo (eds.) |
Proceedings of the 10th International Conference on Quality Software, QSIC 2010, Zhangjiajie, China, 14-15 July 2010 |
QSIC |
2010 |
DBLP BibTeX RDF |
|
| 1 | Björn Bartels, Sabine Glesner |
Formal Modeling and Verification of Low-Level Software Programs. |
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 | Jiang B. Liu, Nithya Vasudevan Praveen, Kumar Macherla |
Develop Web Services for Reliable Cross-Platform Web Applications. |
QSIC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kazunori Sakamoto, Hironori Washizaki, Yoshiaki Fukazawa |
Open Code Coverage Framework: A Consistent and Flexible Framework for Measuring Test Coverage Supporting Multiple Programming Languages. |
QSIC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ziyou Wang, Minghui Zhou, Hong Mei |
Towards an Empirical Reuse Approach for the Software Evolution: A Case Study. |
QSIC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaofeng Lei, Chenggang Bai, Liang Su |
Software Operational Profile Modeling and Reliability Prediction with an Open Environment. |
QSIC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bo Ma, Bin Chen, Xiaoying Bai, Junfei Huang |
Design of BDI Agent for Adaptive Performance Testing of Web Services. |
QSIC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Zuohua Ding, Mingyue Jiang, Geguang Pu, Jing Liu |
Requirement Checking: Generating Uses Cases out of Navigational Logs in Web Applications. |
QSIC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hong Zhu, Bo Yu |
An Experiment with Algebraic Specifications of Software Components. |
QSIC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Huai Wang, Ke Zhai, T. H. Tse |
Correlating Context-Awareness and Mutation Analysis for Pervasive Computing Systems. |
QSIC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhimin He, Fengdi Shu, Ye Yang, Wen Zhang, Qing Wang |
Data Unpredictability in Software Defect-Fixing Effort Prediction. |
QSIC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuan-Hsin Tung, Shian-Shyong Tseng, Tsung-Ju Lee, Jui-Feng Weng |
A Novel Approach to Automatic Test Case Generation for Web Applications. |
QSIC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jianying Xing, Mengjun Li, Zhoujun Li |
Automated Program Verification Using Generation of Invariants. |
QSIC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans van Vliet |
Knowledge Sharing in Software Development. |
QSIC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
QSIC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Xulin Zhao, Ying Zou |
A Business Process Driven Approach for Generating Software Architecture. |
QSIC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | ZhenHong Xu |
Modeling and Analysis of the Behavior of uCOS Kernel Based on CSP. |
QSIC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hongli Yang, Liang Zhou, Kang He, Chen Deng, Xiangpeng Zhao, Zongyan Qiu |
A Probabilistic QoS Model-Checking for Dynamic Routing Protocol. |
QSIC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
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 | 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 |
|
| 1 | Chunyan Ma, JunSheng Wu, Tao Zhang, Fei Hu |
Web Services Testing Based on Stream X-machine. |
QSIC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hasan Sözer, Rui Abreu, Mehmet Aksit, Arjan J. C. van Gemund |
Increasing System Availability with Local Recovery Based on Fault Localization. |
QSIC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ziyuan Wang, Baowen Xu, Lin Chen, Lei Xu |
Adaptive Interaction Fault Location Based on Combinatorial Testing. |
QSIC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Nuyun Zhang, Gang Huang 0001, Ying Zhang, Ning Jiang, Hong Mei |
Automating Reusable-Procedure Discovery through Developer's Action Analysis. |
QSIC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lei Zhao, Kai-Yuan Cai |
Event Handler-Based Coverage for GUI Testing. |
QSIC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yusaku Yoshida, Atsushi Ohnishi |
Visualized Scenario Classification Method. |
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 | Marco D'Ambros, Alberto Bacchelli, Michele Lanza |
On the Impact of Design Flaws on Software Defects. |
QSIC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Huai Liu, Xiaodong Xie, Jing Yang, Yansheng Lu, Tsong Yueh Chen |
Adaptive Random Testing by Exclusion through Test Profile. |
QSIC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yi Zhu, Zhiqiu Huang, Zining Cao, Hang Zhou, Min Yuan |
An MDE Based Approach for Generating Software Architecture Models from Formal Specifications. |
QSIC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Edward Y. Y. Kan, W. K. Chan, T. H. Tse |
Leveraging Performance and Power Savings for Embedded Systems Using Multiple Target Deadlines. |
QSIC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Emad Shihab, Zhen Ming Jiang, Bram Adams, Ahmed E. Hassan, Robert Bowerman |
Prioritizing Unit Test Creation for Test-Driven Maintenance of Legacy Systems. |
QSIC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Vidroha Debroy, W. Eric Wong, Xiaofeng Xu, Byoungju Choi |
A Grouping-Based Strategy to Improve the Effectiveness of Fault Localization Techniques. |
QSIC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto González-Sanchez, Éric Piel, Hans-Gerhard Groß, Arjan J. C. van Gemund |
Prioritizing Tests for Software Fault Localization. |
QSIC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Huiqun Yu, Guisheng Fan, Liqiong Chen, Dongmei Liu |
A Fault-Tolerant Strategy for Improving the Reliability of Service Composition. |
QSIC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaoyuan Xie, Tsong Yueh Chen, Baowen Xu |
Isolating Suspiciousness from Spectrum-Based Fault Localization Techniques. |
QSIC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Wotawa |
Fault Localization Based on Dynamic Slicing and Hitting-Set Computation. |
QSIC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Motoshi Saeki, Shinpei Hayashi, Haruhiko Kaiya |
An Integrated Support for Attributed Goal-Oriented Requirements Analysis Method and its Implementation. |
QSIC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | King Chun Foo, Zhen Ming Jiang, Bram Adams, Ahmed E. Hassan, Ying Zou, Parminder Flora |
Mining Performance Regression Testing Repositories for Automated Performance Analysis. |
QSIC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Paola Inverardi |
Assessing Dependability for Mobile and Ubiquitous Systems: Is there a Role for Software Architectures? |
QSIC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Cong Sun, Liyong Tang, Zhong Chen |
Secure Information Flow in Java via Reachability Analysis of Pushdown System. |
QSIC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bo Jiang, W. K. Chan |
On the Integration of Test Adequacy, Test Case Prioritization, and Statistical Fault Localization. |
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 | Tao Wang, Xiaowei Zhou, Jun Wei, Wenbo Zhang |
Towards Runtime Plug-and-Play Software. |
QSIC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Chengying Mao |
Control and Data Complexity Metrics for Web Service Compositions. |
QSIC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaohong Li, Yan Cao, Zhiyong Feng, Ran Liu |
Web Service Security Analysis Model Based on Program Slicing. |
QSIC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Haihe Shi, Jinyun Xue |
Generating Provably Correct Algorithmic Programs from Formal Specifications. |
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 | Rüdiger Lincke, Tobias Gutzmann, Welf Löwe |
Software Quality Prediction Models Compared. |
QSIC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Schwarzl, Bernhard Peischl |
Test Sequence Generation from Communicating UML State Charts: An Industrial Application of Symbolic Transition Systems. |
QSIC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhenhua Duan, Cong Tian |
An Executable Concurrent Model for OWL-S Process Models. |
QSIC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
QSIC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hai Wan, Xiaoyu Song, Gang Chen, Ming Gu |
A Refinement-Based Validation Method for Programmable Logic Controllers. |
QSIC |
2010 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")