2 citations · 3 across the 5 of their papers we have counts for
1 paper · 1 filter
Facundo Molina, Marcelo d'Amorim, Nazareno Aguirre
Expressing class specifications via executable constraints is important for various software engineering tasks such as test generation, bug finding and automated debugging, but dev…