Heuristic model checking for java programs

Alex Groce, Willem Visser

Research output: Chapter in Book/Report/Conference proceedingConference contribution

20 Scopus citations
Original languageEnglish (US)
Title of host publicationModel Checking Software - 9th International SPIN Workshop, Proceedings
EditorsDragan Bosnacki, Stefan Leue
PublisherSpringer-Verlag
Pages242-245
Number of pages4
ISBN (Print)3540434771, 9783540434771
DOIs
StatePublished - 2002
Externally publishedYes
Event9th International SPIN Workshop on Model Checking Software, SPIN 2002 - Grenoble, France
Duration: Apr 11 2002Apr 13 2002

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume2318 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference9th International SPIN Workshop on Model Checking Software, SPIN 2002
Country/TerritoryFrance
CityGrenoble
Period4/11/024/13/02

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science

Cite this