Matches in SemOpenAlex for { <https://semopenalex.org/work/W2154606260> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2154606260 endingPage "21" @default.
- W2154606260 startingPage "12" @default.
- W2154606260 abstract "We describe work in troducing heuristic search into the Java PathFinder model checker, which targets Java bytecode. Rather than focusing on heuristics aimed at a particular kind of error (such as deadlocks) we describe heuristics based on a modification of traditional branch coverage metrics and other structure measures, such as thread inter-dependency. We present experimental results showing the utility of these heuristics, and argue for the usefulness of structural heuristics as a class." @default.
- W2154606260 created "2016-06-24" @default.
- W2154606260 creator A5026932942 @default.
- W2154606260 creator A5088454541 @default.
- W2154606260 date "2002-07-01" @default.
- W2154606260 modified "2023-10-18" @default.
- W2154606260 title "Model checking Java programs using structural heuristics" @default.
- W2154606260 cites W1968331212 @default.
- W2154606260 cites W1969483458 @default.
- W2154606260 cites W1975112016 @default.
- W2154606260 cites W1991339794 @default.
- W2154606260 cites W2026965951 @default.
- W2154606260 cites W2062858138 @default.
- W2154606260 cites W2080593426 @default.
- W2154606260 cites W2089139117 @default.
- W2154606260 cites W2111692334 @default.
- W2154606260 cites W2135274583 @default.
- W2154606260 cites W2136199343 @default.
- W2154606260 cites W2150309803 @default.
- W2154606260 cites W2295903414 @default.
- W2154606260 cites W4234244433 @default.
- W2154606260 cites W4236963133 @default.
- W2154606260 doi "https://doi.org/10.1145/566171.566175" @default.
- W2154606260 hasPublicationYear "2002" @default.
- W2154606260 type Work @default.
- W2154606260 sameAs 2154606260 @default.
- W2154606260 citedByCount "38" @default.
- W2154606260 countsByYear W21546062602012 @default.
- W2154606260 countsByYear W21546062602013 @default.
- W2154606260 countsByYear W21546062602014 @default.
- W2154606260 countsByYear W21546062602015 @default.
- W2154606260 countsByYear W21546062602016 @default.
- W2154606260 countsByYear W21546062602017 @default.
- W2154606260 countsByYear W21546062602018 @default.
- W2154606260 crossrefType "journal-article" @default.
- W2154606260 hasAuthorship W2154606260A5026932942 @default.
- W2154606260 hasAuthorship W2154606260A5088454541 @default.
- W2154606260 hasConcept C110251889 @default.
- W2154606260 hasConcept C111919701 @default.
- W2154606260 hasConcept C127705205 @default.
- W2154606260 hasConcept C132106392 @default.
- W2154606260 hasConcept C138101251 @default.
- W2154606260 hasConcept C154945302 @default.
- W2154606260 hasConcept C168702491 @default.
- W2154606260 hasConcept C199360897 @default.
- W2154606260 hasConcept C2777212361 @default.
- W2154606260 hasConcept C2777472213 @default.
- W2154606260 hasConcept C2779818221 @default.
- W2154606260 hasConcept C41008148 @default.
- W2154606260 hasConcept C548217200 @default.
- W2154606260 hasConceptScore W2154606260C110251889 @default.
- W2154606260 hasConceptScore W2154606260C111919701 @default.
- W2154606260 hasConceptScore W2154606260C127705205 @default.
- W2154606260 hasConceptScore W2154606260C132106392 @default.
- W2154606260 hasConceptScore W2154606260C138101251 @default.
- W2154606260 hasConceptScore W2154606260C154945302 @default.
- W2154606260 hasConceptScore W2154606260C168702491 @default.
- W2154606260 hasConceptScore W2154606260C199360897 @default.
- W2154606260 hasConceptScore W2154606260C2777212361 @default.
- W2154606260 hasConceptScore W2154606260C2777472213 @default.
- W2154606260 hasConceptScore W2154606260C2779818221 @default.
- W2154606260 hasConceptScore W2154606260C41008148 @default.
- W2154606260 hasConceptScore W2154606260C548217200 @default.
- W2154606260 hasIssue "4" @default.
- W2154606260 hasLocation W21546062601 @default.
- W2154606260 hasOpenAccess W2154606260 @default.
- W2154606260 hasPrimaryLocation W21546062601 @default.
- W2154606260 hasRelatedWork W1532887546 @default.
- W2154606260 hasRelatedWork W2110333676 @default.
- W2154606260 hasRelatedWork W2124765047 @default.
- W2154606260 hasRelatedWork W2128133205 @default.
- W2154606260 hasRelatedWork W2348100758 @default.
- W2154606260 hasRelatedWork W2754749880 @default.
- W2154606260 hasRelatedWork W2951958216 @default.
- W2154606260 hasRelatedWork W4300607909 @default.
- W2154606260 hasRelatedWork W2220571783 @default.
- W2154606260 hasRelatedWork W2785207032 @default.
- W2154606260 hasVolume "27" @default.
- W2154606260 isParatext "false" @default.
- W2154606260 isRetracted "false" @default.
- W2154606260 magId "2154606260" @default.
- W2154606260 workType "article" @default.