DMCA

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
Citations:1 - 1 self