Matches in SemOpenAlex for { <https://semopenalex.org/work/W2091794044> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W2091794044 abstract "Automatic specification-based testing has long been a goal of software engineering, but due to various challenges and difficulties, the goal still remains far from realized. If the specification is informal, full automation would be impossible in general. Formal specification improves the situation, but there are many barriers lying ahead. Automatic test set generation can be difficult to meet high standard, but test result analysis for determining the existence of bugs and debugging for locating the bugs and deciding their nature seem to be even more challenging. This paper systematically discusses all of the major challenges in automatic specification-based testing, and describes some possibilities to deal with the challenges. Some open but interesting problems are presented to inspire future research in the field." @default.
- W2091794044 created "2016-06-24" @default.
- W2091794044 creator A5044917982 @default.
- W2091794044 date "2011-08-01" @default.
- W2091794044 modified "2023-10-16" @default.
- W2091794044 title "Automatic Specification-Based Testing: Challenges and Possibilities" @default.
- W2091794044 cites W1591672107 @default.
- W2091794044 cites W1787500456 @default.
- W2091794044 cites W2008626182 @default.
- W2091794044 cites W2021917262 @default.
- W2091794044 cites W2042175627 @default.
- W2091794044 cites W2100162598 @default.
- W2091794044 cites W2117903529 @default.
- W2091794044 cites W2130179666 @default.
- W2091794044 cites W2152949134 @default.
- W2091794044 cites W2346597859 @default.
- W2091794044 cites W2307866475 @default.
- W2091794044 doi "https://doi.org/10.1109/tase.2011.36" @default.
- W2091794044 hasPublicationYear "2011" @default.
- W2091794044 type Work @default.
- W2091794044 sameAs 2091794044 @default.
- W2091794044 citedByCount "1" @default.
- W2091794044 countsByYear W20917940442015 @default.
- W2091794044 crossrefType "proceedings-article" @default.
- W2091794044 hasAuthorship W2091794044A5044917982 @default.
- W2091794044 hasConcept C1009929 @default.
- W2091794044 hasConcept C115901376 @default.
- W2091794044 hasConcept C115903868 @default.
- W2091794044 hasConcept C116253237 @default.
- W2091794044 hasConcept C127413603 @default.
- W2091794044 hasConcept C168065819 @default.
- W2091794044 hasConcept C177264268 @default.
- W2091794044 hasConcept C188598960 @default.
- W2091794044 hasConcept C199360897 @default.
- W2091794044 hasConcept C202444582 @default.
- W2091794044 hasConcept C2777904410 @default.
- W2091794044 hasConcept C33923547 @default.
- W2091794044 hasConcept C41008148 @default.
- W2091794044 hasConcept C75606506 @default.
- W2091794044 hasConcept C78519656 @default.
- W2091794044 hasConcept C9652623 @default.
- W2091794044 hasConceptScore W2091794044C1009929 @default.
- W2091794044 hasConceptScore W2091794044C115901376 @default.
- W2091794044 hasConceptScore W2091794044C115903868 @default.
- W2091794044 hasConceptScore W2091794044C116253237 @default.
- W2091794044 hasConceptScore W2091794044C127413603 @default.
- W2091794044 hasConceptScore W2091794044C168065819 @default.
- W2091794044 hasConceptScore W2091794044C177264268 @default.
- W2091794044 hasConceptScore W2091794044C188598960 @default.
- W2091794044 hasConceptScore W2091794044C199360897 @default.
- W2091794044 hasConceptScore W2091794044C202444582 @default.
- W2091794044 hasConceptScore W2091794044C2777904410 @default.
- W2091794044 hasConceptScore W2091794044C33923547 @default.
- W2091794044 hasConceptScore W2091794044C41008148 @default.
- W2091794044 hasConceptScore W2091794044C75606506 @default.
- W2091794044 hasConceptScore W2091794044C78519656 @default.
- W2091794044 hasConceptScore W2091794044C9652623 @default.
- W2091794044 hasLocation W20917940441 @default.
- W2091794044 hasOpenAccess W2091794044 @default.
- W2091794044 hasPrimaryLocation W20917940441 @default.
- W2091794044 hasRelatedWork W1966978306 @default.
- W2091794044 hasRelatedWork W201088255 @default.
- W2091794044 hasRelatedWork W2020853051 @default.
- W2091794044 hasRelatedWork W2091794044 @default.
- W2091794044 hasRelatedWork W2121507724 @default.
- W2091794044 hasRelatedWork W2128158689 @default.
- W2091794044 hasRelatedWork W2289134658 @default.
- W2091794044 hasRelatedWork W3089971865 @default.
- W2091794044 hasRelatedWork W3160315726 @default.
- W2091794044 hasRelatedWork W6568356 @default.
- W2091794044 isParatext "false" @default.
- W2091794044 isRetracted "false" @default.
- W2091794044 magId "2091794044" @default.
- W2091794044 workType "article" @default.