7. QSIC 2007: Portland, Oregon, USA

Position Papers by Distinguished Plenary Panel

• Suraj C. Kothari:
  Software Quality: Past, Present, and Future. 1
  
• Raymond A. Paul:
  Proposition for E-DoD: An Overall Plan for Network-Centric Operation. 2
  
• Phillip C.-Y. Sheu:
  Semantic Computing and Quality Software. 3
  
• Stephen S. Yau:
  Developing Adaptive Software with Multiple QoS Requirements. 4
  

Regular Papers

Software Testing 1

• Jani Metsä, Mika Katara, Tommi Mikkonen:
  Testing Non-Functional Requirements with Aspects: An Industrial Case Study. 5-14
  
• Xiaofang Zhang, Changhai Nie, Baowen Xu, Bo Qu:
  Test Case Prioritization Based on Varying Testing Requirement Priorities and Test Case Costs. 15-24
  
• Gordon Fraser, Franz Wotawa:
  Improving Model-Checkers for Software Testing. 25-31
  
• Donglin Liang, Kai Xu:
  Test-Driven Component Integration with UML 2.0 Testing and Monitoring Profile. 32-39
  

Distributed Systems

• Wei Wang, Wenbo Zhang, Jun Wei, Tao Huang:
  A QoS-Enabled WorkManager Model for Web Application Servers. 40-49
  
• Lin Song, Yuxin Deng, Xiaojuan Cai:
  Towards Automatic Measurement of Probabilistic Processes. 50-59
  
• Qianxiang Wang, Min Li, Na Meng, Yonggang Liu, Hong Mei:
  A Pattern-Based Constraint Description Approach for Web Services. 60-69
  

Software Security and Model Checking

• Hiroya Itoga, Atsushi Ohnishi:
  Security Requirements Elicitation via Weaving Scenarios Based on Security Evaluation Criteria. 70-79
  
• Jing Dong, Tu Peng, Yajing Zhao:
  Model Checking Security Pattern Compositions. 80-89
  
• Xianli Jin, Huadong Ma, Zonghua Gu:
  Real-Time Component Composition Using Hierarchical Timed Automata. 90-99
  
• Michael Jiang, Zhihui Yang:
  A Model-Driven Approach for Dependable Software Systems. 100-106
  

Software Testing 3

• Gordon Fraser, Franz Wotawa:
  Nondeterministic Testing with Linear Model-Checker Counterexamples. 107-116
  
• Man Fai Lau, Ying Liu, Yuen-Tak Yu:
  Detecting Double Faults on Term and Literal in Boolean Expressions. 117-126
  
• Lihua Duan, Jessica Chen:
  Alternative B-Sequences. 127-136
  

Embedded Systems

• Masahiko Watanabe, Akira Fukuda, Michihiro Matsumoto, Hirokazu Yatsu, Ichiro Hosotani, Shigeyuki Kido:
  A Resource Scheduling Design Method with Model Checking for Distributed Embedded Software. 137-142
  
• Hong Zhou, Jian Kang, Feng Chen, Hongji Yang:
  OPTIMA: An Ontology-Based PlaTform-specIfic software Migration Approach. 143-152
  
• Sylvain Chevillard, Christoph Quirin Lauter:
  A Certified Infinite Norm for the Implementation of Elementary Functions. 153-160
  

Component-Based Systems

• Zeng Fancong:
  A Reinforcement-Learning Approach to Failure-Detection Scheduling. 161-170
  
• Bashar Gharaibeh, Tien N. Nguyen, J. Morris Chang:
  Coping with API Evolution for Running, Mission-Critical Applications Using Virtual Execution Environment. 171-180
  
• Zhenyu Zhang, W. K. Chan, T. H. Tse:
  Synthesizing Component-Based WSN Applications via Automatic Combination of Code Optimization Techniques. 181-190
  

Software Quality

• Young Lee, Jeong Yang, Kai H. Chang:
  Metrics and Evolution in Open Source Software. 191-197
  
• Junguo Li, Gang Huang, Jian Zou, Hong Mei:
  Failure Analysis of Open Source J2EE Application Servers. 198-208
  
• Ishrar Hussain, Olga Ormandjieva, Leila Kosseim:
  Automatic Quality Assessment of SRS Text by Means of a Decision-Tree-Based Text Classifier. 209-218
  

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