Abstract is missing.
- Software Quality: Past, Present, and FutureSuraj C. Kothari. 1 [doi]
- Proposition for E-DoD: An Overall Plan for Network-Centric OperationRaymond A. Paul. 2 [doi]
- Semantic Computing and Quality SoftwarePhillip C.-Y. Sheu. 3 [doi]
- Developing Adaptive Software with Multiple QoS RequirementsStephen S. Yau. 4 [doi]
- Testing Non-Functional Requirements with Aspects: An Industrial Case StudyJani Metsä, Mika Katara, Tommi Mikkonen. 5-14 [doi]
- Test Case Prioritization Based on Varying Testing Requirement Priorities and Test Case CostsXiaofang Zhang, Changhai Nie, Baowen Xu, Bo Qu. 15-24 [doi]
- Improving Model-Checkers for Software TestingGordon Fraser, Franz Wotawa. 25-31 [doi]
- Test-Driven Component Integration with UML 2.0 Testing and Monitoring ProfileDonglin Liang, Kai Xu 0002. 32-39 [doi]
- A QoS-Enabled WorkManager Model for Web Application ServersWei Wang, Wenbo Zhang, Jun Wei, Tao Huang. 40-49 [doi]
- Towards Automatic Measurement of Probabilistic ProcessesLin Song, Yuxin Deng, Xiaojuan Cai. 50-59 [doi]
- A Pattern-Based Constraint Description Approach for Web ServicesQianxiang Wang, Min Li, Na Meng, Yonggang Liu, Hong Mei. 60-69 [doi]
- Security Requirements Elicitation via Weaving Scenarios Based on Security Evaluation CriteriaHiroya Itoga, Atsushi Ohnishi. 70-79 [doi]
- Model Checking Security Pattern CompositionsJing Dong, Tu Peng, Yajing Zhao. 80-89 [doi]
- Real-Time Component Composition Using Hierarchical Timed AutomataXianli Jin, Huadong Ma, Zonghua Gu. 90-99 [doi]
- A Model-Driven Approach for Dependable Software SystemsMichael Jiang, Zhihui Yang. 100-106 [doi]
- Nondeterministic Testing with Linear Model-Checker CounterexamplesGordon Fraser, Franz Wotawa. 107-116 [doi]
- Detecting Double Faults on Term and Literal in Boolean ExpressionsMan Fai Lau, Ying Liu, Yuen-Tak Yu. 117-126 [doi]
- Alternative B-SequencesLihua Duan, Jessica Chen. 127-136 [doi]
- A Resource Scheduling Design Method with Model Checking for Distributed Embedded SoftwareMasahiko Watanabe, Akira Fukuda, Michihiro Matsumoto, Hirokazu Yatsu, Ichiro Hosotani, Shigeyuki Kido. 137-142 [doi]
- OPTIMA: An Ontology-Based PlaTform-specIfic software Migration ApproachHong Zhou, Jian Kang, Feng Chen, Hongji Yang. 143-152 [doi]
- A Certified Infinite Norm for the Implementation of Elementary FunctionsSylvain Chevillard, Christoph Lauter. 153-160 [doi]
- A Reinforcement-Learning Approach to Failure-Detection SchedulingZeng Fancong. 161-170 [doi]
- Coping with API Evolution for Running, Mission-Critical Applications Using Virtual Execution EnvironmentBashar Gharaibeh, Tien N. Nguyen, J. Morris Chang. 171-180 [doi]
- Synthesizing Component-Based WSN Applications via Automatic Combination of Code Optimization TechniquesZhenyu Zhang, W. K. Chan, T. H. Tse. 181-190 [doi]
- Metrics and Evolution in Open Source SoftwareYoung Lee, Jeong Yang, Kai H. Chang. 191-197 [doi]
- Failure Analysis of Open Source J2EE Application ServersJunguo Li, Gang Huang, Jian Zou, Hong Mei. 198-208 [doi]
- Automatic Quality Assessment of SRS Text by Means of a Decision-Tree-Based Text ClassifierIshrar Hussain, Olga Ormandjieva, Leila Kosseim. 209-218 [doi]
- Quality Assurance in Web Information Systems DevelopmentKlaus-Dieter Schewe, Jane Zhao, Bernhard Thalheim. 219-224 [doi]
- AOP Based Trustable SLA Compliance Monitoring for Web ServicesCongwu Chen, Lei Li, Jun Wei. 225-230 [doi]
- A Multivariate Analysis of Static Code Attributes for Defect PredictionBurak Turhan, Ayse Basar Bener. 231-237 [doi]
- Refinement of a Tool to Assess the Data Quality in Web PortalsAngelica Caro, Coral Calero, Juan Enriquez de Salamanca, Mario Piattini. 238-243 [doi]
- Formal Embedded Operating System Model Based on Resource-Based Design FrameworkJin Hyun Kim, Jae-Hwan Sim, Chang Jin Kim, Jin-Young Choi. 244-249 [doi]
- Systematic Development of Quality Aware Decentralised Service-Oriented SystemsLipo Chan, Shanika Karunasekera. 250-255 [doi]
- An Automated Approach to System Testing Based on Scenarios and Operations ContractsNajla Raza, Aamer Nadeem, Muhammad Zohaib Z. Iqbal. 256-261 [doi]
- Architectural Test Coverage for Component-Based Integration TestingNor Laily Hashim, Sita Ramakrishnan, Heinz W. Schmidt. 262-267 [doi]
- An Approach to Integration Testing of Object-Oriented ProgramsZhe (Jessie) Li, T. S. E. Maibaum. 268-273 [doi]
- Distribution Metric Driven Adaptive Random TestingTsong Yueh Chen, Fei-Ching Kuo, Huai Liu. 274-279 [doi]
- Uniform Selection of Feasible Paths as a Stochastic Constraint ProblemMatthieu Petit, Arnaud Gotlieb. 280-285 [doi]
- White Box Pairwise Test Case GenerationJangbok Kim, Kyunghee Choi, Daniel M. Hoffman, Gihyun Jung. 286-291 [doi]
- An Effective Iterative Metamorphic Testing Algorithm Based on Program Path AnalysisGuowei Dong, Changhai Nie, Baowen Xu, Lulu Wang. 292-297 [doi]
- Towards a Software Component Certification FrameworkAlexandre Alvaro, Eduardo Santana de Almeida, Silvio Romero de Lemos Meira. 298-303 [doi]
- Reduction of Complexity and Automation of Parallel Execution through Loop Level ParallelismRobert A. Tefft, Roger Y. Lee. 304-308 [doi]
- An Incremental and FCA-Based Ontology Construction Method for Semantics-Based Component RetrievalXin Peng, Wenyun Zhao. 309-315 [doi]
- Trustworthiness Evaluation and Testing of Open Source ComponentsAnne Immonen, Marko Palviainen. 316-321 [doi]
- Testability and Test Framework for Collaborative Real-Time Editing ToolsLian Yu, Lifeng Xu, Guanzhu Wang, Chang Yan Chi, Wenping Xiao, Hui Su. 322-327 [doi]
- Cohesion Metrics for Predicting Maintainability of Service-Oriented SoftwareMikhail Perepletchikov, Caspar Ryan, Keith Frampton. 328-335 [doi]
- On the Collaborative Development of Para-Consistent Conceptual ModelsEbrahim Bagheri, Ali A. Ghorbani. 336-341 [doi]
- Increasing Software Effort Estimation Accuracy Using Experience Data, Estimation Models and ChecklistsKristian Marius Furulund, Kjetil Moløkken-Østvold. 342-347 [doi]
- A Denotational Semantic Model for Validating JVML/CLDC Optimizations under Isabelle/HOLHamdi Yahyaoui, Mourad Debbabi, Nadia Tawbi. 348-355 [doi]
- Verifying UML Diagrams with Model Checking: A Rewriting Logic Based ApproachFarid Mokhati, Patrice Gagnon, Mourad Badri. 356-362 [doi]
- Verifying Noninterference in a Cyber-Physical System The Advanced Electric Power GridYan Sun, Bruce M. McMillin, Xiaoqing Frank Liu, David A. Cape. 363-369 [doi]
- Message of the Program Chairs of STEV’07Johannes Mayer, Sami Beydeda. 370-371 [doi]
- Learning Effective Oracle Comparator Combinations for Web ApplicationsSara Sprenkle, Emily Hill, Lori L. Pollock. 372-379 [doi]
- Testing against Natural Language RequirementsHarry M. Sneed. 380-387 [doi]
- Test-Based Specifications of Components and SystemsDick Hamlet. 388-395 [doi]
- A Scriptable, Statistical Oracle for a Metadata Extraction SystemKurt Maly, Steven J. Zeil, Mohammad Zubair, Ashraf Amrou, Ali Aazhar, Naveen Ratkal. 396-403 [doi]
- Statistical Metamorphic Testing Testing Programs with Random Output by Means of Statistical Hypothesis Tests and Metamorphic TestingRalph Guderlei, Johannes Mayer. 404-409 [doi]
- Abstraction in Assertion-Based Test OraclesYoonsik Cheon. 410-414 [doi]
- The Oracle Problem for Testing against Quantified PropertiesPatrícia D. L. Machado, Wilkerson de L. Andrade. 415-418 [doi]