Optimizing Generated Aspect-Oriented Assertion Checking Code for JML Using Programming Laws: An Empirical Study Henrique Rebˆelo, Ricardo Lima, Gary T. Leavens, M´arcio Corn´elio, Alexandre Mota, C´esar Oliveira CS-T - Reb - Document - PDFSEARCH.IO

First Page	Meta Content
	Optimizing Generated Aspect-Oriented Assertion Checking Code for JML Using Programming Laws: An Empirical Study Henrique Rebˆelo, Ricardo Lima, Gary T. Leavens, M´arcio Corn´elio, Alexandre Mota, C´esar Oliveira CS-T Add to Reading List Document Date: 2010-04-26 17:16:00 Open Document File Size: 258,20 KB Share Result on Facebook

Optimizing Generated Aspect-Oriented Assertion Checking Code for JML Using Programming Laws: An Empirical Study Henrique Rebˆelo, Ricardo Lima, Gary T. Leavens, M´arcio Corn´elio, Alexandre Mota, C´esar Oliveira CS-TAdd to Reading List