default search action
9. QSIC 2009: Jeju, Korea
- Byoungju Choi:
Proceedings of the Ninth International Conference on Quality Software, QSIC 2009, Jeju, Korea, August 24-25, 2009. IEEE Computer Society 2009, ISBN 978-0-7695-3828-0
Security & Service Testing
- Lian Yu, Jun Zhou, Yue Yi, Jianchu Fan, Qianxiang Wang:
A Hybrid Approach to Detecting Security Defects in Programs. 1-10 - Bandar Alshammari
, Colin J. Fidge
Security Metrics for Object-Oriented Class Designs. 11-20 - Lijun Mei, W. K. Chan
Tag-Based Techniques for Black-Box Test Case Prioritization for Service Testing. 21-30
Test Data Selection
- Lian Yu, Wei-Tek Tsai, Wei Zhao, Jun Zhu, Qianxing Wang:
Towards Selecting Test Data Using Topological Structure of Boolean Expressions. 31-40 - Yuen-Tak Yu, Eric Ying Kwong Chan, Pak-Lok Poon
On the Coverage of Program Code by Specification-Based Tests. 41-50 - Fei-Ching Kuo:
An Indepth Study of Mirror Adaptive Random Testing. 51-58 - Huai Liu
An Innovative Approach to Randomising Quasi-random Sequences and Its Application into Software Testing. 59-64
Verification
- Javier Cámara, Gwen Salaün, Carlos Canal
Interactive Specification and Verification of Behavioural Adaptation Contracts. 65-75 - Daniel M. Zimmerman, Joseph R. Kiniry:
A Verification-Centric Software Development Process for Java. 76-85 - Zuohua Ding, Mingyue Jiang:
Modelling and Verification of Port Based Component Composition. 86-91 - Wei Song, Xiaoxing Ma
Timed Modeling and Verification of BPEL Processes Using Time Petri Nets. 92-97
Web Testing
- Samaneh Navabpour, Lihua Duan, Jessica Chen:
Web Traversal with a History Stack. 98-107 - Huo Yan Chen, T. H. Tse
Automatic Generation of Normal Forms for Testing Object-Oriented Software. 108-116 - Carmen Moraga, María Ángeles Moraga
SQuaRE-Aligned Data Quality Model for Web Portals. 117-122 - Sung Deok Cha, Junsup Lee, Sangrok Kim, Sanghyun Cho:
ADAM: Web Anomaly Detection Assistant Based on Feature Matrix. 123-128 - Takao Shimomura, Kenji Ikeda, Muneo Takahashi:
Synchronization of Multi-window Requests for Server-Side Regression Test of Web Applications. 129-134
Model-Based Test
- Xiaoyuan Xie, Joshua Wing Kei Ho
Application of Metamorphic Testing to Supervised Classifiers. 135-144 - César Andrés, Mercedes G. Merayo, Manuel Núñez
Supporting the Extraction of Timed Properties for Passive Testing by Using Probabilistic User Models. 145-154 - Michael Felderer, Philipp Zech
Towards Adaptive Test Code Generation for Service Oriented Systems. 155-160 - Suntae Kim, Jintae Kim, Sooyong Park, Dae-Kyoo Kim:
GARDIAN: A Tool for Validating Rule-Based Modeling Methods. 161-166 - Mohamed Mussa, Samir Ouchani
A Survey of Model-Driven Testing Techniques. 167-172
Embedded SW Test
- Valentin Chimisliu, Christian Schwarzl, Bernhard Peischl
From UML Statecharts to LOTOS: A Semantics Preserving Model Transformation. 173-178 - Doohwan Kim, Jong-Phil Kim, Jang-Eui Hong:
Practice Patterns to Improve the Quality of Design Model in Embedded Software Development. 179-184 - Yunwei Dong, Geng Wang, Hong-bing Zhao:
A Model-Based Testing for AADL Model of Embedded Software. 185-190 - Gia Nghia Vo, Richard Lai, Mohit Garg:
Building Automotive Software Component within the AutoSAR Environment - A Case Study. 191-200 - Tommi Takala, Mika Maunumaa, Mika Katara:
An Adapter Framework for Keyword-Driven Testing. 201-210
Test Coverage
- Gordon Fraser, Franz Wotawa
Increasing Diversity in Coverage Test Suites Using Model Checking. 211-218 - Martin Weiglhofer, Franz Wotawa
Improving Coverage Based Test Purposes. 219-228 - Vidroha Debroy, W. Eric Wong:
Are Fault Failure Rates Good Estimators of Adequate Test Set Size?. 229-238
Measurement I
- Beatriz Mora, Félix García
Model-Driven Software Measurement Framework: A Case Study. 239-248 - Zhi Quan Zhou
Improving Software Testing Cost-Effectiveness through Dynamic Partitioning. 249-258 - Yan Liu, Kate Foster, Thong Nguyen, Jacky W. Keung
Quality Assessment of Mission Critical Middleware System Using MEMS. 259-268
Requirements
- Christopher Burgess, Aneesh Krishna
Towards Optimising Non-functional Requirements. 269-277 - Lorena Rodriguez, Alethia Hume, Luca Cernuzzi
Improving the Quality of Agent-Based Systems: Integration of Requirements Modeling into Gaia. 278-283 - Dang Viet Dzung, Atsushi Ohnishi:
Improvement of Quality of Software Requirements with Requirements Ontology. 284-289 - Silvia Abrahão
Evaluating the Ability of Novice Analysts to Understand Requirements Models. 290-295
Fault Detection I
- Bingu Shim, Beomho Baek, Suntae Kim, Sooyong Park:
A Robot Fault-Tolerance Approach Based on Fault Type. 296-304 - Foutse Khomh, Stéphane Vaucher, Yann-Gaël Guéhéneuc, Houari A. Sahraoui:
A Bayesian Approach for the Detection of Code and Design Smells. 305-314 - Ke-Xian Xue, Liang Su, Yun-Fei Jia, Kai-Yuan Cai:
A Neural Network Approach to Forecasting Computing-Resource Exhaustion with Workload. 315-324 - Zhenyue Long, Beihong Jin, Fengliang Qi, Donglei Cao:
Reuse Strategies in Distributed Complex Event Detection. 325-330
Test Generation
- Shan-Shan Hou, Lu Zhang, Qian Lan, Hong Mei, Jiasu Sun:
Generating Effective Test Sequences for BPEL Testing. 331-340 - Xiaofang Zhang, Huamao Shan, Ju Qian:
Resource-Aware Test Suite Optimization. 341-346 - Xiang Chen, Qing Gu, Xin Zhang, Daoxu Chen:
Building Prioritized Pairwise Interaction Test Suites with Ant Colony Optimization. 347-352 - Tao Sun, Zheng Wang, Geguang Pu, Xiao Yu, Zongyan Qiu, Bin Gu:
Towards Scalable Compositional Test Generation. 353-358
Fault Detection II
- Seunghun Park, HyeonJeong Kim, Doo-Hwan Bae:
Change Impact Analysis of a Software Process Using Process Slicing. 359-366 - Rui Abreu
Localizing Software Faults Simultaneously. 367-376
Measurement II
- Alberto González-Sanchez, Éric Piel, Hans-Gerhard Groß:
RiTMO: A Method for Runtime Testability Measurement and Optimisation. 377-382 - Gibeon Soares de Aquino Júnior
An Approach to Measure Value-Based Productivity in Software Projects. 383-389 - Chanwook Kim, Keun Lee:
Software Quality Model for Consumer Electronics Product. 390-395
Design
- Mark van den Berg, Antony Tang
A Constraint-Oriented Approach to Software Architecture Design. 396-405 - Min Zhang
Modular Implementation of a Translator from Behavioral Specifications to Rewrite Theory Specifications. 406-411 - Kohei Uno, Shinpei Hayashi
Constructing Feature Models Using Goal-Oriented Analysis. 412-417 - Qianxiang Wang:
An Intuitive Approach for Specifying Interface Constraint. 418-425
Quality Model
- Fernando Carvalho, Silvio R. L. Meira, Elyda Xavier, Joao Eulino:
An Embedded Software Component Maturity Model. 426-431 - Eun Jung:
A Test Process Improvement Model for Embedded Software Developments. 432-437 - Joon-Sang Lee, Oksoon Jeong, Jewhi Ryu:
Performance Evaluation Framework for Software Quality Engineering. 438-443 - Lin-Zhu Jin, Tadashi Dohi
Non-homogeneous Inverse Gaussian Software Reliability Models. 444-451
Workshop on Data Quality for Software Engineering
- Paulo Oliveira
SmartClean: An Incremental Data Cleaning Tool. 452-457 - Ricardo Pérez-Castillo
Developing Data Quality Aware Applications. 458-464 - Heidar Pirzadeh, Luay Alawneh
Quality of the Source Code for Design and Architecture Recovery Techniques: Utilities are the Problem. 465-469
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-22 19:32 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: