Matches in SemOpenAlex for { <https://semopenalex.org/work/W3046802945> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W3046802945 endingPage "96" @default.
- W3046802945 startingPage "77" @default.
- W3046802945 abstract "We are interested in static analysis of Java classes with the goal of discovering the preconditions under which a certain program point within a method may be reached, taking into account the effects of previous method calls on an object of that class. The information pertinent to this computation is represented as the object's typestate, which is a finite set of relevant predicates that abstract the object's actual state. The execution of a method depends on an object's current typestate as well as other input parameters; the object may transition to a different typestate during the method's execution.It is common for objects to contain references to other ob-jects. In such cases, an object's behavior may depend on, in addition to its own state, the state of objects it has a refer-ence to. The main contribution of this paper is to discover relevant object typestates, as well as transitions between typestates, in the presence of inter-object references. Our analysis first performs a combined predicate discovery and predicate abstraction to derive boolean versions of Java classes given as input. It then uses abstract interpretation to compute the typestate transitions caused by method calls. A novel aspect of this work is that a set of Java classes is analyzed in isolation, without any client program being pro-vided. To do this, the analysis simulates all possible client's actions via a synthetic heap, all of whose interesting config-urations are explored by our analysis.The information we compute can be put to use in several ways. It can be used in checking whether a given client code erroneously uses a set of Java classes in a way that can throw an exception. It can also be used in creating test drivers for Java classes in order to exercise all relevant code paths in the corresponding methods." @default.
- W3046802945 created "2020-08-07" @default.
- W3046802945 creator A5014792540 @default.
- W3046802945 creator A5050329680 @default.
- W3046802945 creator A5059276601 @default.
- W3046802945 date "2005-10-12" @default.
- W3046802945 modified "2023-10-18" @default.
- W3046802945 title "Deriving object typestates in the presence of inter-object references" @default.
- W3046802945 cites W1991837261 @default.
- W3046802945 cites W2014530617 @default.
- W3046802945 cites W2026114025 @default.
- W3046802945 cites W2044590882 @default.
- W3046802945 cites W2074040276 @default.
- W3046802945 cites W2098495346 @default.
- W3046802945 cites W2119467398 @default.
- W3046802945 cites W2149901829 @default.
- W3046802945 cites W2294152467 @default.
- W3046802945 cites W4231709874 @default.
- W3046802945 cites W4242057943 @default.
- W3046802945 doi "https://doi.org/10.1145/1103845.1094818" @default.
- W3046802945 hasPublicationYear "2005" @default.
- W3046802945 type Work @default.
- W3046802945 sameAs 3046802945 @default.
- W3046802945 citedByCount "3" @default.
- W3046802945 countsByYear W30468029452012 @default.
- W3046802945 countsByYear W30468029452013 @default.
- W3046802945 countsByYear W30468029452014 @default.
- W3046802945 crossrefType "journal-article" @default.
- W3046802945 hasAuthorship W3046802945A5014792540 @default.
- W3046802945 hasAuthorship W3046802945A5050329680 @default.
- W3046802945 hasAuthorship W3046802945A5059276601 @default.
- W3046802945 hasConcept C110251889 @default.
- W3046802945 hasConcept C134757568 @default.
- W3046802945 hasConcept C140146324 @default.
- W3046802945 hasConcept C154945302 @default.
- W3046802945 hasConcept C177264268 @default.
- W3046802945 hasConcept C199360897 @default.
- W3046802945 hasConcept C20894473 @default.
- W3046802945 hasConcept C2779907942 @default.
- W3046802945 hasConcept C2780654840 @default.
- W3046802945 hasConcept C2781238097 @default.
- W3046802945 hasConcept C41008148 @default.
- W3046802945 hasConcept C512554520 @default.
- W3046802945 hasConcept C548217200 @default.
- W3046802945 hasConcept C73752529 @default.
- W3046802945 hasConcept C80444323 @default.
- W3046802945 hasConceptScore W3046802945C110251889 @default.
- W3046802945 hasConceptScore W3046802945C134757568 @default.
- W3046802945 hasConceptScore W3046802945C140146324 @default.
- W3046802945 hasConceptScore W3046802945C154945302 @default.
- W3046802945 hasConceptScore W3046802945C177264268 @default.
- W3046802945 hasConceptScore W3046802945C199360897 @default.
- W3046802945 hasConceptScore W3046802945C20894473 @default.
- W3046802945 hasConceptScore W3046802945C2779907942 @default.
- W3046802945 hasConceptScore W3046802945C2780654840 @default.
- W3046802945 hasConceptScore W3046802945C2781238097 @default.
- W3046802945 hasConceptScore W3046802945C41008148 @default.
- W3046802945 hasConceptScore W3046802945C512554520 @default.
- W3046802945 hasConceptScore W3046802945C548217200 @default.
- W3046802945 hasConceptScore W3046802945C73752529 @default.
- W3046802945 hasConceptScore W3046802945C80444323 @default.
- W3046802945 hasIssue "10" @default.
- W3046802945 hasLocation W30468029451 @default.
- W3046802945 hasOpenAccess W3046802945 @default.
- W3046802945 hasPrimaryLocation W30468029451 @default.
- W3046802945 hasRelatedWork W1977585546 @default.
- W3046802945 hasRelatedWork W2020850585 @default.
- W3046802945 hasRelatedWork W2032774097 @default.
- W3046802945 hasRelatedWork W2086991228 @default.
- W3046802945 hasRelatedWork W2157449911 @default.
- W3046802945 hasRelatedWork W2386600072 @default.
- W3046802945 hasRelatedWork W2950075769 @default.
- W3046802945 hasRelatedWork W3046802945 @default.
- W3046802945 hasRelatedWork W4302055908 @default.
- W3046802945 hasRelatedWork W2528467228 @default.
- W3046802945 hasVolume "40" @default.
- W3046802945 isParatext "false" @default.
- W3046802945 isRetracted "false" @default.
- W3046802945 magId "3046802945" @default.
- W3046802945 workType "article" @default.