Work

Effective typestate verification in the presence of aliasing

Year: 2006

Type: conference-paper

Source: International Symposium on Software Testing and Analysis

DOI: 10.1145/1146238.1146254

Authors: Stephen Fink, Eran Yahav, Nurit Dor, G. Ramalingam, Emmanuel Geay

Institutions: IBM Research - Thomas J. Watson Research Center, IBM Research - Haifa

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2134311998

FWCI: 9.795

Cites: 61

Cited by: 146

Related to: 10