Henrique Rebêlo, Ricardo Massa Ferreira Lima, Gary T. Leavens, Márcio Cornélio, Alexandre Mota, César A. L. Oliveira. Optimizing generated aspect-oriented assertion checking code for JML using program transformations: An empirical study. Science of Computer Programming, 78(8):1137-1156, 2013. [doi]
Abstract is missing.