Matches in SemOpenAlex for { <https://semopenalex.org/work/W1543867937> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W1543867937 endingPage "643" @default.
- W1543867937 startingPage "640" @default.
- W1543867937 abstract "Achieving correct user interface software is difficult because such software is complex, highly interactive, modeless, concurrent, graphical, and has user-based real-time requirements. In this paper I propose developing a framework for applying formal methods to testing of user interface software. I survey relevant work in the areas of formal development of user interface software and specification-based testing. I then outline a case study based research plan to extend an existing specification-based testing framework to incorporate multiparadigm user interface specifications." @default.
- W1543867937 created "2016-06-24" @default.
- W1543867937 creator A5017353917 @default.
- W1543867937 date "1997-01-01" @default.
- W1543867937 modified "2023-09-25" @default.
- W1543867937 title "Specification-Based Testing of Interactive Systems" @default.
- W1543867937 cites W1519308349 @default.
- W1543867937 cites W1527688737 @default.
- W1543867937 cites W1981686104 @default.
- W1543867937 cites W2004442217 @default.
- W1543867937 cites W2063048463 @default.
- W1543867937 cites W2073806869 @default.
- W1543867937 cites W2092207455 @default.
- W1543867937 cites W2146972408 @default.
- W1543867937 cites W2158738246 @default.
- W1543867937 doi "https://doi.org/10.1007/978-0-387-35175-9_113" @default.
- W1543867937 hasPublicationYear "1997" @default.
- W1543867937 type Work @default.
- W1543867937 sameAs 1543867937 @default.
- W1543867937 citedByCount "0" @default.
- W1543867937 crossrefType "book-chapter" @default.
- W1543867937 hasAuthorship W1543867937A5017353917 @default.
- W1543867937 hasBestOaLocation W15438679371 @default.
- W1543867937 hasConcept C111919701 @default.
- W1543867937 hasConcept C113843644 @default.
- W1543867937 hasConcept C115903868 @default.
- W1543867937 hasConcept C116253237 @default.
- W1543867937 hasConcept C129307140 @default.
- W1543867937 hasConcept C149229913 @default.
- W1543867937 hasConcept C157915830 @default.
- W1543867937 hasConcept C199360897 @default.
- W1543867937 hasConcept C2777904410 @default.
- W1543867937 hasConcept C37789001 @default.
- W1543867937 hasConcept C41008148 @default.
- W1543867937 hasConcept C66153210 @default.
- W1543867937 hasConcept C89505385 @default.
- W1543867937 hasConceptScore W1543867937C111919701 @default.
- W1543867937 hasConceptScore W1543867937C113843644 @default.
- W1543867937 hasConceptScore W1543867937C115903868 @default.
- W1543867937 hasConceptScore W1543867937C116253237 @default.
- W1543867937 hasConceptScore W1543867937C129307140 @default.
- W1543867937 hasConceptScore W1543867937C149229913 @default.
- W1543867937 hasConceptScore W1543867937C157915830 @default.
- W1543867937 hasConceptScore W1543867937C199360897 @default.
- W1543867937 hasConceptScore W1543867937C2777904410 @default.
- W1543867937 hasConceptScore W1543867937C37789001 @default.
- W1543867937 hasConceptScore W1543867937C41008148 @default.
- W1543867937 hasConceptScore W1543867937C66153210 @default.
- W1543867937 hasConceptScore W1543867937C89505385 @default.
- W1543867937 hasLocation W15438679371 @default.
- W1543867937 hasOpenAccess W1543867937 @default.
- W1543867937 hasPrimaryLocation W15438679371 @default.
- W1543867937 hasRelatedWork W100949353 @default.
- W1543867937 hasRelatedWork W108722840 @default.
- W1543867937 hasRelatedWork W1550028325 @default.
- W1543867937 hasRelatedWork W1871405533 @default.
- W1543867937 hasRelatedWork W1968389633 @default.
- W1543867937 hasRelatedWork W2009175983 @default.
- W1543867937 hasRelatedWork W2022332583 @default.
- W1543867937 hasRelatedWork W2075345945 @default.
- W1543867937 hasRelatedWork W2119355307 @default.
- W1543867937 hasRelatedWork W2127877131 @default.
- W1543867937 isParatext "false" @default.
- W1543867937 isRetracted "false" @default.
- W1543867937 magId "1543867937" @default.
- W1543867937 workType "book-chapter" @default.