Work

Optimizing generated aspect-oriented assertion checking code for JML using program transformations: An empirical study

Year: 2012

Type: article

Source: Science of Computer Programming

DOI: 10.1016/j.scico.2012.09.003

Authors: Henrique Rebêlo, Ricardo Lima, Gary T. Leavens, Márcio Cornélio, Alexandre Mota, César Oliveira

Institutions: Universidade Federal de Pernambuco, University of Central Florida

Language: English

Topic: Advanced Software Engineering Methodologies

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

Funders: National Science Foundation, Conselho Nacional de Desenvolvimento Científico e Tecnológico, Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco

Awards: G138562754, G1667595581, G2594626537, G4381462147, G586477216, G931470856

OpenAlex ID: W2035719421

FWCI: 3.084

Cites: 45

Cited by: 7

Related to: 10