Demystifying the Challenges of Formally Specifying API Properties for Runtime Verification.

Leopoldo Teixeira, Breno Miranda, Henrique Reblo, Marcelo d'Amorim

Browse the full ICST paper archive.