Matches in SemOpenAlex for { <https://semopenalex.org/work/W75598154> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W75598154 abstract "Some requirement modelling languages such as UML’s statechart diagrams allow developers to specify requirements of state-transition behavior in a visual way. These requirement specifications are useful in many ways, including helping program understanding and specification-based testing. However, there are a large number of legacy systems that are not equipped with these requirement specifications. This paper proposes a new approach, called Brastra, for extracting object state machines (OSM) from unit-test executions. An OSM describes how a method call transits an object from one state to another. When the state of an object is represented with concrete-state information (the values of fields transitively reachable from the object), the extracted OSMs are simply too complex to be useful. Our Brastra approach abstracts an object’s concrete state to an abstract state based on the branch coverage information exercised by methods invoked on the object. We have prototyped our Brastra approach and shown the utility of the approach with an illustrating example. Our initial experience shows that Brastra can extract compact OSMs that provide useful information for understanding state-transition behavior." @default.
- W75598154 created "2016-06-24" @default.
- W75598154 creator A5008852885 @default.
- W75598154 creator A5048118068 @default.
- W75598154 date "2005-01-01" @default.
- W75598154 modified "2023-09-24" @default.
- W75598154 title "Automatic Extraction of Abstract-Object-State Machines Based on Branch Coverage" @default.
- W75598154 cites W108470007 @default.
- W75598154 cites W1491859150 @default.
- W75598154 cites W1523720513 @default.
- W75598154 cites W1533857697 @default.
- W75598154 cites W1563583171 @default.
- W75598154 cites W1590462283 @default.
- W75598154 cites W1998017916 @default.
- W75598154 cites W2001914359 @default.
- W75598154 cites W2004929506 @default.
- W75598154 cites W2104298704 @default.
- W75598154 cites W2114298495 @default.
- W75598154 cites W2118084379 @default.
- W75598154 cites W2121059325 @default.
- W75598154 cites W2131507481 @default.
- W75598154 cites W2143251912 @default.
- W75598154 cites W2145400454 @default.
- W75598154 cites W2155891645 @default.
- W75598154 cites W2171718649 @default.
- W75598154 cites W2172260321 @default.
- W75598154 cites W2295399529 @default.
- W75598154 cites W3106729728 @default.
- W75598154 hasPublicationYear "2005" @default.
- W75598154 type Work @default.
- W75598154 sameAs 75598154 @default.
- W75598154 citedByCount "5" @default.
- W75598154 countsByYear W755981542016 @default.
- W75598154 countsByYear W755981542022 @default.
- W75598154 crossrefType "journal-article" @default.
- W75598154 hasAuthorship W75598154A5008852885 @default.
- W75598154 hasAuthorship W75598154A5048118068 @default.
- W75598154 hasConcept C145644426 @default.
- W75598154 hasConcept C154945302 @default.
- W75598154 hasConcept C167822520 @default.
- W75598154 hasConcept C199360897 @default.
- W75598154 hasConcept C2777904410 @default.
- W75598154 hasConcept C2781238097 @default.
- W75598154 hasConcept C41008148 @default.
- W75598154 hasConcept C48103436 @default.
- W75598154 hasConcept C80444323 @default.
- W75598154 hasConceptScore W75598154C145644426 @default.
- W75598154 hasConceptScore W75598154C154945302 @default.
- W75598154 hasConceptScore W75598154C167822520 @default.
- W75598154 hasConceptScore W75598154C199360897 @default.
- W75598154 hasConceptScore W75598154C2777904410 @default.
- W75598154 hasConceptScore W75598154C2781238097 @default.
- W75598154 hasConceptScore W75598154C41008148 @default.
- W75598154 hasConceptScore W75598154C48103436 @default.
- W75598154 hasConceptScore W75598154C80444323 @default.
- W75598154 hasLocation W755981541 @default.
- W75598154 hasOpenAccess W75598154 @default.
- W75598154 hasPrimaryLocation W755981541 @default.
- W75598154 hasRelatedWork W1543748265 @default.
- W75598154 hasRelatedWork W1576239089 @default.
- W75598154 hasRelatedWork W1799542256 @default.
- W75598154 hasRelatedWork W2030296426 @default.
- W75598154 hasRelatedWork W2101914239 @default.
- W75598154 hasRelatedWork W2113226653 @default.
- W75598154 hasRelatedWork W2121059325 @default.
- W75598154 hasRelatedWork W2153739496 @default.
- W75598154 hasRelatedWork W2158272492 @default.
- W75598154 hasRelatedWork W2169230129 @default.
- W75598154 hasRelatedWork W2479117467 @default.
- W75598154 hasRelatedWork W2545940063 @default.
- W75598154 hasRelatedWork W2796400167 @default.
- W75598154 hasRelatedWork W2888990196 @default.
- W75598154 hasRelatedWork W2949756156 @default.
- W75598154 hasRelatedWork W2963058395 @default.
- W75598154 hasRelatedWork W3092550483 @default.
- W75598154 hasRelatedWork W3106729728 @default.
- W75598154 hasRelatedWork W35505870 @default.
- W75598154 hasRelatedWork W2168775362 @default.
- W75598154 isParatext "false" @default.
- W75598154 isRetracted "false" @default.
- W75598154 magId "75598154" @default.
- W75598154 workType "article" @default.