Abstract is missing.
- A Hybrid Approach to Detecting Security Defects in ProgramsLian Yu, Jun Zhou, Yue Yi, Jianchu Fan, Qianxiang Wang. 1-10 [doi]
- Security Metrics for Object-Oriented Class DesignsBandar Alshammari, Colin J. Fidge, Diane Corney. 11-20 [doi]
- Tag-Based Techniques for Black-Box Test Case Prioritization for Service TestingLijun Mei, W. K. Chan, T. H. Tse, Robert G. Merkel. 21-30 [doi]
- Towards Selecting Test Data Using Topological Structure of Boolean ExpressionsLian Yu, Wei-Tek Tsai, Wei Zhao, Jun Zhu, Qianxing Wang. 31-40 [doi]
- On the Coverage of Program Code by Specification-Based TestsY. T. Yu, Eric Y. K. Chan, Pak-Lok Poon. 41-50 [doi]
- An Indepth Study of Mirror Adaptive Random TestingFei-Ching Kuo. 51-58 [doi]
- An Innovative Approach to Randomising Quasi-random Sequences and Its Application into Software TestingHuai Liu, Tsong Yueh Chen. 59-64 [doi]
- Interactive Specification and Verification of Behavioural Adaptation ContractsJavier Cámara, Gwen Salaün, Carlos Canal, Meriem Ouederni. 65-75 [doi]
- A Verification-Centric Software Development Process for JavaDaniel M. Zimmerman, Joseph R. Kiniry. 76-85 [doi]
- Modelling and Verification of Port Based Component CompositionZuohua Ding, Mingyue Jiang. 86-91 [doi]
- Timed Modeling and Verification of BPEL Processes Using Time Petri NetsWei Song, Xiaoxing Ma, Chunyang Ye, Wanchun Dou, Jian Lu. 92-97 [doi]
- Web Traversal with a History StackSamaneh Navabpour, Lihua Duan, Jessica Chen. 98-107 [doi]
- Automatic Generation of Normal Forms for Testing Object-Oriented SoftwareHuo Yan Chen, T. H. Tse. 108-116 [doi]
- SQuaRE-Aligned Data Quality Model for Web PortalsCarmen Moraga, Maria Ãngeles Moraga, Coral Calero, Angelica Caro. 117-122 [doi]
- ADAM: Web Anomaly Detection Assistant Based on Feature MatrixSung Deok Cha, Junsup Lee, Sangrok Kim, Sanghyun Cho. 123-128 [doi]
- Synchronization of Multi-window Requests for Server-Side Regression Test of Web ApplicationsTakao Shimomura, Kenji Ikeda, Muneo Takahashi. 129-134 [doi]
- Application of Metamorphic Testing to Supervised ClassifiersXiaoyuan Xie, Joshua W. K. Ho, Christian Murphy, Gail E. Kaiser, Baowen Xu, Tsong Yueh Chen. 135-144 [doi]
- Supporting the Extraction of Timed Properties for Passive Testing by Using Probabilistic User ModelsCésar Andrés, Mercedes G. Merayo, Manuel Núñez. 145-154 [doi]
- Towards Adaptive Test Code Generation for Service Oriented SystemsMichael Felderer, Philipp Zech, Frank Fiedler, Joanna Chimiak-Opoka, Ruth Breu. 155-160 [doi]
- GARDIAN: A Tool for Validating Rule-Based Modeling MethodsSuntae Kim, Jintae Kim, Sooyong Park, Dae-Kyoo Kim. 161-166 [doi]
- A Survey of Model-Driven Testing TechniquesMohamed Mussa, Samir Ouchani, Waseem Al Sammane, Abdelwahab Hamou-Lhadj. 167-172 [doi]
- From UML Statecharts to LOTOS: A Semantics Preserving Model TransformationValentin Chimisliu, Christian Schwarzl, Bernhard Peischl. 173-178 [doi]
- Practice Patterns to Improve the Quality of Design Model in Embedded Software DevelopmentDoo-Hwan Kim, Jong-Phil Kim, Jang-Eui Hong. 179-184 [doi]
- A Model-Based Testing for AADL Model of Embedded SoftwareYun-wei Dong, Geng Wang, Hong-bing Zhao. 185-190 [doi]
- Building Automotive Software Component within the AutoSAR Environment - A Case StudyGia Nghia Vo, Richard Lai, Mohit Garg. 191-200 [doi]
- An Adapter Framework for Keyword-Driven TestingTommi Takala, Mika Maunumaa, Mika Katara. 201-210 [doi]
- Increasing Diversity in Coverage Test Suites Using Model CheckingGordon Fraser, Franz Wotawa. 211-218 [doi]
- Improving Coverage Based Test PurposesMartin Weiglhofer, Franz Wotawa. 219-228 [doi]
- Are Fault Failure Rates Good Estimators of Adequate Test Set Size?Vidroha Debroy, W. Eric Wong. 229-238 [doi]
- Model-Driven Software Measurement Framework: A Case StudyBeatriz Mora, Félix GarcÃa Carballeira, Francisco Ruiz, Mario Piattini. 239-248 [doi]
- Improving Software Testing Cost-Effectiveness through Dynamic PartitioningZhi Quan Zhou, Arnaldo Sinaga, Lei Zhao, Willy Susilo, Kai-Yuan Cai. 249-258 [doi]
- Quality Assessment of Mission Critical Middleware System Using MEMSYan Liu, Kate Foster, Thong Nguyen, Jacky W. Keung. 259-268 [doi]
- Towards Optimising Non-functional RequirementsChristopher Burgess, Aneesh Krishna, Li Jiang. 269-277 [doi]
- Improving the Quality of Agent-Based Systems: Integration of Requirements Modeling into GaiaLorena Rodriguez, Alethia Hume, Luca Cernuzzi, Emilio Insfrán. 278-283 [doi]
- Improvement of Quality of Software Requirements with Requirements OntologyDang Viet Dzung, Atsushi Ohnishi. 284-289 [doi]
- Evaluating the Ability of Novice Analysts to Understand Requirements ModelsSilvia Abrahão, Emilio Insfrán, José A. CarsÃ, Marcela Genero, Mario Piattini. 290-295 [doi]
- A Robot Fault-Tolerance Approach Based on Fault TypeBingu Shim, Beomho Baek, Suntae Kim, Sooyong Park. 296-304 [doi]
- A Bayesian Approach for the Detection of Code and Design SmellsFoutse Khomh, Stéphane Vaucher, Yann-Gaël Guéhéneuc, Houari A. Sahraoui. 305-314 [doi]
- A Neural Network Approach to Forecasting Computing-Resource Exhaustion with WorkloadKe-Xian Xue, Liang Su, Yun-Fei Jia, Kai-Yuan Cai. 315-324 [doi]
- Reuse Strategies in Distributed Complex Event DetectionZhenyue Long, Beihong Jin, Fengliang Qi, Donglei Cao. 325-330 [doi]
- Generating Effective Test Sequences for BPEL TestingShan-Shan Hou, Lu Zhang, Qian Lan, Hong Mei, Jia-Su Sun. 331-340 [doi]
- Resource-Aware Test Suite OptimizationXiaofang Zhang, Huamao Shan, Ju Qian. 341-346 [doi]
- Building Prioritized Pairwise Interaction Test Suites with Ant Colony OptimizationXiang Chen, Qing Gu, Xin Zhang, Daoxu Chen. 347-352 [doi]
- Towards Scalable Compositional Test GenerationTao Sun, Zheng Wang, Geguang Pu, Xiao Yu, Zongyan Qiu, Bin Gu. 353-358 [doi]
- Change Impact Analysis of a Software Process Using Process SlicingSeunghun Park, Hyeonjeong Kim, Doo-Hwan Bae. 359-366 [doi]
- Localizing Software Faults SimultaneouslyRui Abreu, Peter Zoeteweij, Arjan J. C. van Gemund. 367-376 [doi]
- RiTMO: A Method for Runtime Testability Measurement and OptimisationAlberto Gonzalez-Sanchez, Éric Piel, Hans-Gerhard Groß. 377-382 [doi]
- An Approach to Measure Value-Based Productivity in Software ProjectsGibeon Soares de Aquino Junior, Silvio Romero de Lemos Meira. 383-389 [doi]
- Software Quality Model for Consumer Electronics ProductChanwook Kim, Keun Lee. 390-395 [doi]
- A Constraint-Oriented Approach to Software Architecture DesignMark van den Berg, Antony Tang, Rik Farenhorst. 396-405 [doi]
- Modular Implementation of a Translator from Behavioral Specifications to Rewrite Theory SpecificationsMin Zhang, Kazuhiro Ogata. 406-411 [doi]
- Constructing Feature Models Using Goal-Oriented AnalysisKohei Uno, Shinpei Hayashi, Motoshi Saeki. 412-417 [doi]
- An Intuitive Approach for Specifying Interface ConstraintQianxiang Wang. 418-425 [doi]
- An Embedded Software Component Maturity ModelFernando Carvalho, Silvio R. L. Meira, Elyda Xavier, Joao Eulino. 426-431 [doi]
- Performance Evaluation Framework for Software Quality EngineeringJoon-Sang Lee, Oksoon Jeong, Jewhi Ryu. 438-443 [doi]
- Non-homogeneous Inverse Gaussian Software Reliability ModelsLin-Zhu Jin, Tadashi Dohi. 444-451 [doi]
- SmartClean: An Incremental Data Cleaning ToolPaulo Oliveira, Fátima Rodrigues, Pedro Rangel Henriques. 452-457 [doi]
- Developing Data Quality Aware ApplicationsRicardo Pérez-Castillo, Cesar Guerra-Garcia, Mario Piattini, Maria Ãngeles Moraga. 458-464 [doi]
- Quality of the Source Code for Design and Architecture Recovery Techniques: Utilities are the ProblemHeidar Pirzadeh, Luay Alawneh, Abdelwahab Hamou-Lhadj. 465-469 [doi]