16 citations · 16 across the 3 of their papers we have counts for
1 paper · 1 filter
Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo
The use of annotations, referred to as assertions or contracts, to describe program properties for which run-time tests are to be generated, has become frequent in dynamic programi…