Work

Model checking Java programs using structural heuristics

Year: 2002

Type: conference-paper

Source: ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)

DOI: 10.1145/566172.566175

Authors: Alex Groce, Willem Visser

Institutions: Carnegie Mellon University, Ames Research Center, Research Institute for Advanced Computer Science

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4238269194

FWCI: 5.904

Cites: 24

Cited by: 44

Related to: 10