Sciweavers

3031 search results - page 51 / 607
» Model Driven Testing Based on Test History
Sort
View
COMPSAC
2005
IEEE
15 years 6 months ago
Reasoning About Software Architecture-Based Regression Testing Through a Case Study
Two main issues need to be covered when dealing with the dependability of component-based systems: quality assurance of reusable software components and quality assurance of the a...
Henry Muccini, Marcio S. Dias, Debra J. Richardson
DSN
2005
IEEE
15 years 6 months ago
Testing the Dependability and Performance of Group Communication Based Database Replication Protocols
Database replication based on group communication systems has recently been proposed as an efficient and resilient solution for large-scale data management. However, its evaluati...
A. Sousa, José Pereira, L. Soares, Alfr&aci...
JISE
2008
107views more  JISE 2008»
15 years 15 days ago
A State-Based Testing Approach for Aspect-Oriented Programming
abstract the state-based behavior of AOP program with the consideration of the interactions between the base modules and aspects. Based on the model, test cases can be derived so a...
Chien-Hung Liu, Chuan-Wen Chang
124
Voted
FMCO
2008
Springer
117views Formal Methods» more  FMCO 2008»
15 years 2 months ago
Conformance Testing of Distributed Concurrent Systems with Executable Designs
Abstract. This paper presents a unified approach to test case generation and conformance test execution in a distributed setting. A model in the object-oriented, concurrent modelin...
Bernhard K. Aichernig, Andreas Griesmayer, Einar B...
85
Voted
RECOMB
2002
Springer
16 years 25 days ago
Inferring Piecewise Ancestral History from Haploid Sequences
There has been considerable recent interest in the use of haplotype structure to aid in the design and analysis of case-control association studies searching for genetic predictors...
Russell Schwartz, Andrew G. Clark, Sorin Istrail