Conferences in DBLP
Software Quality: Past, Present, and Future. [Citation Graph (, )][DBLP ] Proposition for E-DoD: An Overall Plan for Network-Centric Operation. [Citation Graph (, )][DBLP ] Semantic Computing and Quality Software. [Citation Graph (, )][DBLP ] Developing Adaptive Software with Multiple QoS Requirements. [Citation Graph (, )][DBLP ] Testing Non-Functional Requirements with Aspects: An Industrial Case Study. [Citation Graph (, )][DBLP ] Test Case Prioritization Based on Varying Testing Requirement Priorities and Test Case Costs. [Citation Graph (, )][DBLP ] Improving Model-Checkers for Software Testing. [Citation Graph (, )][DBLP ] Test-Driven Component Integration with UML 2.0 Testing and Monitoring Profile. [Citation Graph (, )][DBLP ] A QoS-Enabled WorkManager Model for Web Application Servers. [Citation Graph (, )][DBLP ] Towards Automatic Measurement of Probabilistic Processes. [Citation Graph (, )][DBLP ] A Pattern-Based Constraint Description Approach for Web Services. [Citation Graph (, )][DBLP ] Security Requirements Elicitation via Weaving Scenarios Based on Security Evaluation Criteria. [Citation Graph (, )][DBLP ] Model Checking Security Pattern Compositions. [Citation Graph (, )][DBLP ] Real-Time Component Composition Using Hierarchical Timed Automata. [Citation Graph (, )][DBLP ] A Model-Driven Approach for Dependable Software Systems. [Citation Graph (, )][DBLP ] Nondeterministic Testing with Linear Model-Checker Counterexamples. [Citation Graph (, )][DBLP ] Detecting Double Faults on Term and Literal in Boolean Expressions. [Citation Graph (, )][DBLP ] Alternative B-Sequences. [Citation Graph (, )][DBLP ] A Resource Scheduling Design Method with Model Checking for Distributed Embedded Software. [Citation Graph (, )][DBLP ] OPTIMA: An Ontology-Based PlaTform-specIfic software Migration Approach. [Citation Graph (, )][DBLP ] A Certified Infinite Norm for the Implementation of Elementary Functions. [Citation Graph (, )][DBLP ] A Reinforcement-Learning Approach to Failure-Detection Scheduling. [Citation Graph (, )][DBLP ] Coping with API Evolution for Running, Mission-Critical Applications Using Virtual Execution Environment. [Citation Graph (, )][DBLP ] Synthesizing Component-Based WSN Applications via Automatic Combination of Code Optimization Techniques. [Citation Graph (, )][DBLP ] Metrics and Evolution in Open Source Software. [Citation Graph (, )][DBLP ] Failure Analysis of Open Source J2EE Application Servers. [Citation Graph (, )][DBLP ] Automatic Quality Assessment of SRS Text by Means of a Decision-Tree-Based Text Classifier. [Citation Graph (, )][DBLP ] Quality Assurance in Web Information Systems Development. [Citation Graph (, )][DBLP ] AOP Based Trustable SLA Compliance Monitoring for Web Services. [Citation Graph (, )][DBLP ] A Multivariate Analysis of Static Code Attributes for Defect Prediction. [Citation Graph (, )][DBLP ] Refinement of a Tool to Assess the Data Quality in Web Portals. [Citation Graph (, )][DBLP ] Formal Embedded Operating System Model Based on Resource-Based Design Framework. [Citation Graph (, )][DBLP ] Systematic Development of Quality Aware Decentralised Service-Oriented Systems. [Citation Graph (, )][DBLP ] An Automated Approach to System Testing Based on Scenarios and Operations Contracts. [Citation Graph (, )][DBLP ] Architectural Test Coverage for Component-Based Integration Testing. [Citation Graph (, )][DBLP ] An Approach to Integration Testing of Object-Oriented Programs. [Citation Graph (, )][DBLP ] Distribution Metric Driven Adaptive Random Testing. [Citation Graph (, )][DBLP ] Uniform Selection of Feasible Paths as a Stochastic Constraint Problem. [Citation Graph (, )][DBLP ] White Box Pairwise Test Case Generation. [Citation Graph (, )][DBLP ] An Effective Iterative Metamorphic Testing Algorithm Based on Program Path Analysis. [Citation Graph (, )][DBLP ] Towards a Software Component Certification Framework. [Citation Graph (, )][DBLP ] Reduction of Complexity and Automation of Parallel Execution through Loop Level Parallelism. [Citation Graph (, )][DBLP ] An Incremental and FCA-Based Ontology Construction Method for Semantics-Based Component Retrieval. [Citation Graph (, )][DBLP ] Trustworthiness Evaluation and Testing of Open Source Components. [Citation Graph (, )][DBLP ] Testability and Test Framework for Collaborative Real-Time Editing Tools. [Citation Graph (, )][DBLP ] Cohesion Metrics for Predicting Maintainability of Service-Oriented Software. [Citation Graph (, )][DBLP ] On the Collaborative Development of Para-Consistent Conceptual Models. [Citation Graph (, )][DBLP ] Increasing Software Effort Estimation Accuracy Using Experience Data, Estimation Models and Checklists. [Citation Graph (, )][DBLP ] A Denotational Semantic Model for Validating JVML/CLDC Optimizations under Isabelle/HOL. [Citation Graph (, )][DBLP ] Verifying UML Diagrams with Model Checking: A Rewriting Logic Based Approach. [Citation Graph (, )][DBLP ] Verifying Noninterference in a Cyber-Physical System The Advanced Electric Power Grid. [Citation Graph (, )][DBLP ] Message of the Program Chairs of STEV07. [Citation Graph (, )][DBLP ] Learning Effective Oracle Comparator Combinations for Web Applications. [Citation Graph (, )][DBLP ] Testing against Natural Language Requirements. [Citation Graph (, )][DBLP ] Test-Based Specifications of Components and Systems. [Citation Graph (, )][DBLP ] A Scriptable, Statistical Oracle for a Metadata Extraction System. [Citation Graph (, )][DBLP ] Statistical Metamorphic Testing Testing Programs with Random Output by Means of Statistical Hypothesis Tests and Metamorphic Testing. [Citation Graph (, )][DBLP ] Abstraction in Assertion-Based Test Oracles. [Citation Graph (, )][DBLP ] The Oracle Problem for Testing against Quantified Properties. [Citation Graph (, )][DBLP ]