Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID8. 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, Mohammad Zulkernine:
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, Lizhu Zhou:
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, Zaheer Bawar:
Using Machine Learning to Refine Black-Box Test Specifications and Test Suites. 135-144 - Tsong Yueh Chen, Fei-Ching Kuo, Huai Liu, W. Eric Wong:
Does Adaptive Random Testing Deliver a Higher Confidence than Random Testing? 145-154 - Ziyuan Wang, Baowen Xu, Changhai Nie:
Greedy Heuristic Algorithms to Generate Variable Strength Combinatorial Test Suite. 155-160
Static and Dynamic Analysis
- Andrew Cain, Tsong Yueh Chen, Doug D. Grant, Fei-Ching Kuo, Jean-Guy Schneider:
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, Zhenyu Chen, Changhai Nie, Leifang Li:
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, Nelly Condori-Fernández, Oscar Pastor:
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, Richard Lai:
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, Anton Jansen, Paris Avgeriou:
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, T. H. Tse:
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, Anna Perini:
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
a service of 
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-04-19 19:19 CEST 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:
