José Lucas Soares Ferreira

Nonconformance between programs and contracts

2017

Detecting nonconformances between contracts and code is critical in contract-based programs, although detection is only the first step in correction; one needs to pinpoint their causes. For example, a nonconformance may be due to a …