In this paper, we propose an assertion-based approach to capture softwar...
Specification inference techniques aim at (automatically) inferring a se...
Expressing class specifications via executable constraints is important ...
Software reliability is a primary concern in the construction of softwar...