Optimizing Generated Aspect-Oriented Assertion Checking Code for JML Using Programming Laws: An Empirical Study I
Year: 2010
Type: article
Authors: Henrique Reb, Ricardo Lima, Gary T. Leavens, M ́ arcio Cornc, Alexandre Mota, Dom Manuel de Medeiros
Language: English
Subfield: Software
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W2188637694