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 BibTeX
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
Electronic Edition (link) BibTeX
- Congwu Chen, Lei Li, Jun Wei:
AOP Based Trustable SLA Compliance Monitoring for Web Services.
225-230
Electronic Edition (link) BibTeX
- Burak Turhan, Ayse Basar Bener:
A Multivariate Analysis of Static Code Attributes for Defect Prediction.
231-237
Electronic Edition (link) BibTeX
- Angelica Caro, Coral Calero, Juan Enriquez de Salamanca, Mario Piattini:
Refinement of a Tool to Assess the Data Quality in Web Portals.
238-243
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Lipo Chan, Shanika Karunasekera:
Systematic Development of Quality Aware Decentralised Service-Oriented Systems.
250-255
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX
- Nor Laily Hashim, Sita Ramakrishnan, Heinz W. Schmidt:
Architectural Test Coverage for Component-Based Integration Testing.
262-267
Electronic Edition (link) BibTeX
- Zhe (Jessie) Li, T. S. E. Maibaum:
An Approach to Integration Testing of Object-Oriented Programs.
268-273
Electronic Edition (link) BibTeX
- Tsong Yueh Chen, Fei-Ching Kuo, Huai Liu:
Distribution Metric Driven Adaptive Random Testing.
274-279
Electronic Edition (link) BibTeX
- Matthieu Petit, Arnaud Gotlieb:
Uniform Selection of Feasible Paths as a Stochastic Constraint Problem.
280-285
Electronic Edition (link) BibTeX
- Jangbok Kim, Kyunghee Choi, Daniel M. Hoffman, Gihyun Jung:
White Box Pairwise Test Case Generation.
286-291
Electronic Edition (link) BibTeX
- Guowei Dong, Changhai Nie, Baowen Xu, Lulu Wang:
An Effective Iterative Metamorphic Testing Algorithm Based on Program Path Analysis.
292-297
Electronic Edition (link) BibTeX
Software Architecture and Components
- Alexandre Alvaro, Eduardo Santana de Almeida, Silvio Romero de Lemos Meira:
Towards a Software Component Certification Framework.
298-303
Electronic Edition (link) BibTeX
- Robert A. Tefft, Roger Y. Lee:
Reduction of Complexity and Automation of Parallel Execution through Loop Level Parallelism.
304-308
Electronic Edition (link) BibTeX
- Xin Peng, Wenyun Zhao:
An Incremental and FCA-Based Ontology Construction Method for Semantics-Based Component Retrieval.
309-315
Electronic Edition (link) BibTeX
- Anne Immonen, Marko Palviainen:
Trustworthiness Evaluation and Testing of Open Source Components.
316-321
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Mikhail Perepletchikov, Caspar Ryan, Keith Frampton:
Cohesion Metrics for Predicting Maintainability of Service-Oriented Software.
328-335
Electronic Edition (link) BibTeX
Systems Modeling,
Model Construction and Checking
- Ebrahim Bagheri, Ali A. Ghorbani:
On the Collaborative Development of Para-Consistent Conceptual Models.
336-341
Electronic Edition (link) BibTeX
- Kristian Marius Furulund, Kjetil Moløkken-Østvold:
Increasing Software Effort Estimation Accuracy Using Experience Data, Estimation Models and Checklists.
342-347
Electronic Edition (link) BibTeX
- Hamdi Yahyaoui, Mourad Debbabi, Nadia Tawbi:
A Denotational Semantic Model for Validating JVML/CLDC Optimizations under Isabelle/HOL.
348-355
Electronic Edition (link) BibTeX
- Farid Mokhati, Patrice Gagnon, Mourad Badri:
Verifying UML Diagrams with Model Checking: A Rewriting Logic Based Approach.
356-362
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
First International Workshop on Software Test Evaluation (STEV 2007)
- Johannes Mayer, Sami Beydeda:
Message of the Program Chairs of STEV’07.
370-371
Electronic Edition (link) BibTeX
- Sara Sprenkle, Emily Hill, Lori L. Pollock:
Learning Effective Oracle Comparator Combinations for Web Applications.
372-379
Electronic Edition (link) BibTeX
- Harry M. Sneed:
Testing against Natural Language Requirements.
380-387
Electronic Edition (link) BibTeX
- Dick Hamlet:
Test-Based Specifications of Components and Systems.
388-395
Electronic Edition (link) BibTeX
- Kurt Maly, Steven J. Zeil, Mohammad Zubair, Ashraf Amrou, Ali Aazhar, Naveen Ratkal:
A Scriptable, Statistical Oracle for a Metadata Extraction System.
396-403
Electronic Edition (link) BibTeX
- Ralph Guderlei, Johannes Mayer:
Statistical Metamorphic Testing Testing Programs with Random Output by Means of Statistical Hypothesis Tests and Metamorphic Testing.
404-409
Electronic Edition (link) BibTeX
- Yoonsik Cheon:
Abstraction in Assertion-Based Test Oracles.
410-414
Electronic Edition (link) BibTeX
- Patrícia D. L. Machado, Wilkerson de L. Andrade:
The Oracle Problem for Testing against Quantified Properties.
415-418
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:35:35 2009
by Michael Ley (ley@uni-trier.de)
