Optimizing Generated Aspect-Oriented Assertion Checking Code for JML Using Programming Laws: An Empirical Study (2010)

by Henrique Rebêlo, Ricardo Lima, Gary T. Leavens, Márcio Cornélio, Re Mota, César Oliveira