7. QSIC 2007:
Portland, Oregon, USA
Seventh International Conference on Quality Software (QSIC 2007), 11-12 October 2007, Portland, Oregon, USA.
IEEE Computer Society 2007
Position Papers by Distinguished Plenary Panel
Regular Papers
Software Testing 1
Distributed Systems
Software Security and Model Checking
Software Testing 3
Embedded Systems
Component-Based Systems
Software Quality
Short Papers
Software Quality and Reliability
- Klaus-Dieter Schewe, Jane Zhao, Bernhard Thalheim:
Quality Assurance in Web Information Systems Development.
219-224

- Congwu Chen, Lei Li, Jun Wei:
AOP Based Trustable SLA Compliance Monitoring for Web Services.
225-230

- Burak Turhan, Ayse Basar Bener:
A Multivariate Analysis of Static Code Attributes for Defect Prediction.
231-237

- Angelica Caro, Coral Calero, Juan Enriquez de Salamanca, Mario Piattini:
Refinement of a Tool to Assess the Data Quality in Web Portals.
238-243

- Jin Hyun Kim, Jae-Hwan Sim, Chang Jin Kim, Jin-Young Choi:
Formal Embedded Operating System Model Based on Resource-Based Design Framework.
244-249

- Lipo Chan, Shanika Karunasekera:
Systematic Development of Quality Aware Decentralised Service-Oriented Systems.
250-255

Software Testing 2
- Najla Raza, Aamer Nadeem, Muhammad Zohaib Z. Iqbal:
An Automated Approach to System Testing Based on Scenarios and Operations Contracts.
256-261

- Nor Laily Hashim, Sita Ramakrishnan, Heinz W. Schmidt:
Architectural Test Coverage for Component-Based Integration Testing.
262-267

- Zhe (Jessie) Li, T. S. E. Maibaum:
An Approach to Integration Testing of Object-Oriented Programs.
268-273

- Tsong Yueh Chen, Fei-Ching Kuo, Huai Liu:
Distribution Metric Driven Adaptive Random Testing.
274-279

- Matthieu Petit, Arnaud Gotlieb:
Uniform Selection of Feasible Paths as a Stochastic Constraint Problem.
280-285

- Jangbok Kim, Kyunghee Choi, Daniel Hoffman, Gihyun Jung:
White Box Pairwise Test Case Generation.
286-291

- Guowei Dong, Changhai Nie, Baowen Xu, Lulu Wang:
An Effective Iterative Metamorphic Testing Algorithm Based on Program Path Analysis.
292-297

Software Architecture and Components
- Alexandre Alvaro, Eduardo Santana de Almeida, Silvio Romero de Lemos Meira:
Towards a Software Component Certification Framework.
298-303

- Robert A. Tefft, Roger Y. Lee:
Reduction of Complexity and Automation of Parallel Execution through Loop Level Parallelism.
304-308

- Xin Peng, Wenyun Zhao:
An Incremental and FCA-Based Ontology Construction Method for Semantics-Based Component Retrieval.
309-315

- Anne Immonen, Marko Palviainen:
Trustworthiness Evaluation and Testing of Open Source Components.
316-321

- Lian Yu, Lifeng Xu, Guanzhu Wang, Chang Yan Chi, Wenping Xiao, Hui Su:
Testability and Test Framework for Collaborative Real-Time Editing Tools.
322-327

- Mikhail Perepletchikov, Caspar Ryan, Keith Frampton:
Cohesion Metrics for Predicting Maintainability of Service-Oriented Software.
328-335

Systems Modeling, Model Construction and Checking
- Ebrahim Bagheri, Ali A. Ghorbani:
On the Collaborative Development of Para-Consistent Conceptual Models.
336-341

- Kristian Marius Furulund, Kjetil Moløkken-Østvold:
Increasing Software Effort Estimation Accuracy Using Experience Data, Estimation Models and Checklists.
342-347

- Hamdi Yahyaoui, Mourad Debbabi, Nadia Tawbi:
A Denotational Semantic Model for Validating JVML/CLDC Optimizations under Isabelle/HOL.
348-355

- Farid Mokhati, Patrice Gagnon, Mourad Badri:
Verifying UML Diagrams with Model Checking: A Rewriting Logic Based Approach.
356-362

- Yan Sun, Bruce M. McMillin, Xiaoqing Frank Liu, David A. Cape:
Verifying Noninterference in a Cyber-Physical System The Advanced Electric Power Grid.
363-369

First International Workshop on Software Test Evaluation (STEV 2007)
- Johannes Mayer, Sami Beydeda:
Message of the Program Chairs of STEV'07.
370-371

- Sara Sprenkle, Emily Hill, Lori L. Pollock:
Learning Effective Oracle Comparator Combinations for Web Applications.
372-379

- Harry M. Sneed:
Testing against Natural Language Requirements.
380-387

- Dick Hamlet:
Test-Based Specifications of Components and Systems.
388-395

- Kurt Maly, Steven J. Zeil, Mohammad Zubair, Ashraf Amrou, Ali Aazhar, Naveen Ratkal:
A Scriptable, Statistical Oracle for a Metadata Extraction System.
396-403

- Ralph Guderlei, Johannes Mayer:
Statistical Metamorphic Testing Testing Programs with Random Output by Means of Statistical Hypothesis Tests and Metamorphic Testing.
404-409

- Yoonsik Cheon:
Abstraction in Assertion-Based Test Oracles.
410-414

- Patrícia D. L. Machado, Wilkerson de L. Andrade:
The Oracle Problem for Testing against Quantified Properties.
415-418

Last update Thu May 23 03:06:25 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page