Optimizing generated aspect-oriented assertion checking code for jml using program transformations: An empirical study (2010)

by Henrique Rebêlo, Ricardo Lima, Márcio Cornélio, Gary T Leavens, Alexandre Mota, César Oliveira
Venue:Sci. Comput. Program