Concept
Sanity check
Related publications (8)
On verifying causal consistency
Causal consistency is one of the most adopted consistency criteria for distributed implementations of data structures. It ensures that operations are executed at all sites according to their causal precedence. We address the issue of verifying automaticall ...
ACM New York, NY, USA ©20172017On Verifying Causal Consistency
Causal consistency is one of the most adopted consistency criteria for distributed implementations of data structures. It ensures that operations are executed at all sites according to their causal precedence. We address the issue of verifying automaticall ...
2016Test Selection for Object-Oriented Software Based on Formal Specifications
We propose a method of test selection based on formal specifications, for functional testing of object-oriented software. This method is based on rigorous theoretical foundations. To limit the size of test sets, we present several hypotheses specific to ob ...
Chapman & Hall1998Incremental Test Selection for Specification-Based Unit Testing of Object-Oriented Software Based on Formal Specifications
We propose a test case selection methodology for object-oriented software. This methodology is based on formal specifications and is aimed at verifying the correctness of method interaction of an object or a cluster of objects. The essence of this methodol ...
1998Formal testing of object-oriented software
This thesis presents a method and a tool for test set selection, dedicated to object-oriented applications and based on formal specifications. Testing is one method to increase the quality of today's extraordinary complex software. The aim is to find progr ...
EPFL1998Test Selection for Specification-Based Testing of Object-Oriented Software Based on Formal Specifications
Traditional testing techniques cannot be directly applied to object-oriented software systems because of some features of this paradigm, namely history, encapsulation, inheritance and polymorphism. We propose a specification based strategy for test selecti ...
1997A Theory of Specification-Based Testing for Object-Oriented Software
The current strategies for testing object-oriented software all lack the formal basis which is necessary to perform this task efficiently. We propose the adaptation to object-oriented software of an existing theory of testing for stateless ADTs, to find er ...
Springer Verlag1996Testing Ada 95 Object-Oriented Programs
We show some of the specific problems for testing software introduced by the object-oriented features of Ada 95, and focus on specification-based testing, since this strategy is the key strategy for testing object-oriented software. We present a theory for ...
Springer Verlag1995