default search action
8. QSIC 2008: Oxford, UK
- Hong Zhu:
Proceedings of the Eighth International Conference on Quality Software, QSIC 2008, 12-13 August 2008, Oxford, UK. IEEE Computer Society 2008, ISBN 978-0-7695-3312-4
Keynotes
- Lionel C. Briand:
Novel Applications of Machine Learning in Software Testing. 3-10 - Robert M. Hierons
:
Testing in the Distributed Test Architecture: An Extended Abstract. 11-14
Invited Special Track: Formalization of UML and Design Patterns
- Sun Meng, Luís Soares Barbosa
A Coalgebraic Semantic Framework for Reasoning about UML Sequence Diagrams. 17-26 - Ian Bayley, Hong Zhu:
On the Composition of Design Patterns. 27-36 - Jinfeng Huang, Jeroen Voeten, Serge Wolfs, Mark Coopmans:
An Executable Interface Specification for Industrial Embedded System Design. 37-44 - Kevin Lano, David Clark
Model Transformation Specification and Verification. 45-54
Software Testing Process
- Hyejin Oh, Byoungju Choi, Hyuksoo Han, W. Eric Wong:
Optimizing Test Process Action Plans by Blending Testing Maturity Model and Design of Experiments. 57-66 - Harry M. Sneed:
Bridging the Concept to Implementation Gap in Software System Testing. 67-73
Security
- Hossain Shahriar
MUSIC: Mutation-based SQL Injection Vulnerability Checking. 77-86 - Lianshan Sun, Gang Huang, Yanchun Sun, Hui Song, Hong Mei:
An Approach for Generation of J2EE Access Control Configurations from Requirements Specification. 87-96 - Aiman Hanna, Hai Zhou Ling, Jason Furlong, Zhenrong Yang, Mourad Debbabi
Targeting Security Vulnerabilities: From Specification to Detection (Short Paper). 97-102
Formal Methods
- Shaoying Liu:
Integrating Top-Down and Scenario-Based Methods for Constructing Software Specifications. 105-113 - Xutao Du, Chunxiao Xing
Path-Sensitive Reachability Analysis of Web Service Interfaces (Short Paper). 114-119 - Liang Xu:
SMT-Based Bounded Model Checking for Real-Time Systems (Short Paper). 120-125 - Peter Y. H. Wong, Jeremy Gibbons
Verifying Business Process Compatibility (Short Paper). 126-131
Software Testing Techniques and Methods
- Lionel C. Briand, Yvan Labiche
Using Machine Learning to Refine Black-Box Test Specifications and Test Suites. 135-144 - Tsong Yueh Chen
Does Adaptive Random Testing Deliver a Higher Confidence than Random Testing? 145-154 - Ziyuan Wang, Baowen Xu
Greedy Heuristic Algorithms to Generate Variable Strength Combinatorial Test Suite. 155-160
Static and Dynamic Analysis
- Andrew Cain
An Object Oriented Approach towards Dynamic Data Flow Analysis (Short Paper). 163-168 - Na Meng, Qianxiang Wang, Qian Wu, Hong Mei:
An Approach to Merge Results of Multiple Static Analysis Tools (Short Paper). 169-174 - Paul J. Vandal, Swapna S. Gokhale:
Performance Analysis of a Composition of Middleware Patterns (Short Paper). 175-180 - Zhen Ming Jiang, Ahmed E. Hassan, Parminder Flora, Gilbert Hamann:
Abstracting Execution Logs to Execution Events for Enterprise Applications (Short Paper). 181-186
Specification-Based Software Testing
- Gordon Fraser, Paul Ammann:
Reachability and Propagation for LTL Requirements Testing. 189-198 - Gordon Fraser, Martin Weiglhofer, Franz Wotawa
Coverage Based Testing with Test Purposes. 199-208 - Abdeslam En-Nouaary, Abdelwahab Hamou-Lhadj
A Boundary Checking Technique for Testing Real-Time Systems Modeled as Timed Input Output Automata (Short Paper). 209-215 - Shaoying Liu:
Utilizing Formalization to Test Programs without Available Source Code (Short Paper). 216-221
Software Process and Evolution
- Hong Zhou, Feng Chen, Hongji Yang:
Developing Application Specific Ontology for Program Comprehension by Combining Domain Ontology with Code Ontology. 225-234 - Wolfgang Grieskamp, Nicolas Kicillof, Dave MacDonald, Alok Nandan, Keith Stobie, Fred L. Wurden, Danpo Zhang:
Model-Based Quality Assurance of the SMB2 Protocol Documentation. 235-240 - Yun-Fei Jia, Xiu-E Chen, Lei Zhao, Kai-Yuan Cai:
On the Relationship between Software Aging and Related Parameters (Short Paper). 241-246 - Wei Huang, Ru Li, Carsten Maple, Hongji Yang, David Foskett, Vince Cleaver:
Web Application Development Lifecycle for Small Medium-Sized Enterprises (SMEs) (Short Paper). 247-252
Regression Testing and Software Reuse
- Trung T. Dinh-Trong, Birgit Geppert, J. Jenny Li, Frank Rößler:
Looking for More Confidence in Refactoring? How to Assess Adequacy of Your Refactoring Tests. 255-263 - Yunwei Dong, M. F. Lau, Si-yu Lin:
On Partitioning the Domain for Test Case Reusability (Short Paper). 264-269 - Xiaofang Zhang, Baowen Xu
An Empirical Evaluation of Test Suite Reduction for Boolean Specification-Based Testing (Short Paper). 270-275 - Antti Jääskeläinen, Antti Kervinen, Mika Katara:
Creating a Test Model Library for GUI Testing of Smartphone Applications (Short Paper). 276-282
Measurement, Metrics and Assessment 1
- Lasse Harjumaa, Ilkka Tervonen, Sirpa Salmela:
Steering the inspection process with prescriptive metrics and process patterns. 285-293 - Vinicius Cardoso Garcia, Liana Barachisio Lisboa, Silvio Romero de Lemos Meira, Eduardo Santana de Almeida, Daniel Lucrédio, Renata Pontin de Mattos Fortes
Towards an Assessment Method for Software Reuse Capability (Short Paper). 294-299 - Yoshihiro Iwami:
How to Measure Quality of Software Developed by Subcontractors (Short Paper). 300-304 - Beatriz Marín
Towards a Method for Evaluating the Precision of Software Measures (Short Paper). 305-310
Service Orientation
- Shiyang Ye, Jun Wei:
History Heuristic Based Negotiation of Service Level Agreements for Composite Service. 313-320 - Siripol Noikajana, Taratip Suwannasart:
Web Service Test Case Generation Based on Decision Table (Short Paper). 321-326
Measurement, Metrics and Assessment 2
- Thareendhra Wijayasiriwardhane
A Method for Measuring the Size of a Component-Based System Specification. 329-337 - Lance Fiondella, Swapna S. Gokhale:
Importance Measures for a Modular Software System (Short Paper). 338-343
Software Architecture
- Dharmalingam Ganesan, Thorsten Keuler, Yutaro Nishimura:
Architecture Compliance Checking at Runtime: An Industry Experience Report. 347-356 - Peng Liang
Selecting a High-Quality Central Model for Sharing Architectural Knowledge. 357-365 - Qian Zhang:
Visual Software Architecture Description Based on Design Space. 366-375 - Yujian Fu, Zhijiang Dong, Junhua Ding, Xudong He:
Mapping Software Architecture Specification to Rewriting Logic (Short Paper). 376-381
Faults and Failures
- Peifeng Hu, Zhenyu Zhang, Wing Kwong Chan
Fault Localization with Non-parametric Program Behavior Model. 385-395 - Mohamed F. Ahmed, Swapna S. Gokhale:
Linux Bugs: Life Cycle and Resolution Analysis. 396-401 - Atef Mohamed, Mohammad Zulkernine:
On Failure Propagation in Component-Based Software Systems. 402-411 - Zhongxing Xu, Jian Zhang:
Path and Context Sensitive Inter-procedural Memory Leak Detection. 412-420
Workshop on Integration of Software Engineering and Agent Technologies
- Nauman A. Qureshi
An Agent-Based Middleware for Adaptive Systems. 423-428 - Josh Dehlinger, Joanne Bechta Dugan:
Dynamic Event/Fault Tree Analysis of Multi-agent Systems Using Galileo. 429-434 - Manar Al-Kady, Reem Bahgat, Aly A. Fahmy:
A UML Heavyweight Extension for MAS Modeling. 435-440
Tutorials
- T. Y. Chen:
Adaptive Random Testing. 443 - Swapna S. Gokhale, Veena B. Mendiratta:
Architecture-Based Assessment of Software Reliability. 444
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-19 20:54 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: