Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID9. 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, Diane Corney:
Security Metrics for Object-Oriented Class Designs. 11-20 - Lijun Mei, W. K. Chan, T. H. Tse, Robert G. Merkel:
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, Tsong Yueh Chen:
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, Meriem Ouederni:
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, Chunyang Ye, Wanchun Dou, Jian Lu:
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, Coral Calero, Angélica Caro:
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, Christian Murphy, Gail E. Kaiser, Baowen Xu, Tsong Yueh Chen:
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, Frank Fiedler, Joanna Chimiak-Opoka, Ruth Breu:
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, Waseem Al Sammane, Abdelwahab Hamou-Lhadj:
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, Francisco Ruiz, Mario Piattini:
Model-Driven Software Measurement Framework: A Case Study. 239-248 - Zhi Quan Zhou, Arnaldo Sinaga, Lei Zhao, Willy Susilo, Kai-Yuan Cai:
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, Li Jiang:
Towards Optimising Non-functional Requirements. 269-277 - Lorena Rodriguez, Alethia Hume, Luca Cernuzzi, Emilio Insfrán:
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, Emilio Insfrán, José A. Carsí, Marcela Genero, Mario Piattini:
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, Peter Zoeteweij, Arjan J. C. van Gemund:
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, Silvio Romero de Lemos Meira:
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, Rik Farenhorst:
A Constraint-Oriented Approach to Software Architecture Design. 396-405 - Min Zhang, Kazuhiro Ogata:
Modular Implementation of a Translator from Behavioral Specifications to Rewrite Theory Specifications. 406-411 - Kohei Uno, Shinpei Hayashi, Motoshi Saeki:
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, Fátima Rodrigues, Pedro Rangel Henriques:
SmartClean: An Incremental Data Cleaning Tool. 452-457 - Ricardo Pérez-Castillo, César Guerra-García, Mario Piattini, María Ángeles Moraga:
Developing Data Quality Aware Applications. 458-464 - Heidar Pirzadeh, Luay Alawneh, Abdelwahab Hamou-Lhadj:
Quality of the Source Code for Design and Architecture Recovery Techniques: Utilities are the Problem. 465-469
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-25 05:27 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:
