OpenAlex | jContractor: Introducing Design-by-Contract to Java Using Reflective Bytecode Instrumentation

jContractor: Introducing Design-by-Contract to Java Using Reflective Bytecode Instrumentation

Work

Year: 2005

Type: article

Source: Formal Methods in System Design

Authors Murat Karaorman, Parker Abercrombie

Institutions Texas Instruments (United States), University of California, Santa Barbara

Cites: 25

Cited by: 24

Related to: 10

FWCI: 2.912

Citation percentile (by year/subfield): 90.53

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed