Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID7. 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
- 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 - Angélica 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
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-18 20:19 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:
