Matches in SemOpenAlex for { <https://semopenalex.org/work/W2023691318> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2023691318 endingPage "278" @default.
- W2023691318 startingPage "242" @default.
- W2023691318 abstract "Model-based testing is an effective black-box test generation technique for applications. Existing model-based testing techniques, however, fail to capture implicit domain-specific properties, as they overtly rely on software artifacts such as design documents, requirement specifications, etc., for completeness of the test model. This article presents a technique, HOTTest, which uses a strongly typed domain-specific language to model the system under test. This allows extraction of type-related system invariants, which can be related to various domain-specific properties of the application. Thus, using HOTTest, it is possible to automatically extract and embed domain-specific requirements into the test models. In this article we describe HOTTest, its principles and methodology, and how it is possible to relate domain-specific properties to specific type constraints. HOTTest is described using the example of HaskellDB, which is a Haskell-based embedded domain-specific language for relational databases. We present an example application of the technique and compare the results to some other commonly used Model-based test automation techniques like ASML-based testing, UML-based testing, and EFSM-based testing." @default.
- W2023691318 created "2016-06-24" @default.
- W2023691318 creator A5010960623 @default.
- W2023691318 creator A5085970288 @default.
- W2023691318 date "2006-07-01" @default.
- W2023691318 modified "2023-10-15" @default.
- W2023691318 title "HOTTest" @default.
- W2023691318 cites W1967480707 @default.
- W2023691318 cites W1977770396 @default.
- W2023691318 cites W2111654822 @default.
- W2023691318 cites W2116572051 @default.
- W2023691318 cites W2130583432 @default.
- W2023691318 cites W2146112670 @default.
- W2023691318 cites W2155028447 @default.
- W2023691318 cites W2157657084 @default.
- W2023691318 cites W2167762898 @default.
- W2023691318 cites W2168131633 @default.
- W2023691318 doi "https://doi.org/10.1145/1151695.1151697" @default.
- W2023691318 hasPublicationYear "2006" @default.
- W2023691318 type Work @default.
- W2023691318 sameAs 2023691318 @default.
- W2023691318 citedByCount "16" @default.
- W2023691318 countsByYear W20236913182012 @default.
- W2023691318 countsByYear W20236913182014 @default.
- W2023691318 countsByYear W20236913182015 @default.
- W2023691318 countsByYear W20236913182018 @default.
- W2023691318 crossrefType "journal-article" @default.
- W2023691318 hasAuthorship W2023691318A5010960623 @default.
- W2023691318 hasAuthorship W2023691318A5085970288 @default.
- W2023691318 hasConcept C115901376 @default.
- W2023691318 hasConcept C115903868 @default.
- W2023691318 hasConcept C119857082 @default.
- W2023691318 hasConcept C127413603 @default.
- W2023691318 hasConcept C128942645 @default.
- W2023691318 hasConcept C134306372 @default.
- W2023691318 hasConcept C135257023 @default.
- W2023691318 hasConcept C145644426 @default.
- W2023691318 hasConcept C149091818 @default.
- W2023691318 hasConcept C152877465 @default.
- W2023691318 hasConcept C162443782 @default.
- W2023691318 hasConcept C165825675 @default.
- W2023691318 hasConcept C186846655 @default.
- W2023691318 hasConcept C199360897 @default.
- W2023691318 hasConcept C2777904410 @default.
- W2023691318 hasConcept C2780624054 @default.
- W2023691318 hasConcept C33923547 @default.
- W2023691318 hasConcept C36503486 @default.
- W2023691318 hasConcept C41008148 @default.
- W2023691318 hasConcept C42383842 @default.
- W2023691318 hasConcept C78519656 @default.
- W2023691318 hasConceptScore W2023691318C115901376 @default.
- W2023691318 hasConceptScore W2023691318C115903868 @default.
- W2023691318 hasConceptScore W2023691318C119857082 @default.
- W2023691318 hasConceptScore W2023691318C127413603 @default.
- W2023691318 hasConceptScore W2023691318C128942645 @default.
- W2023691318 hasConceptScore W2023691318C134306372 @default.
- W2023691318 hasConceptScore W2023691318C135257023 @default.
- W2023691318 hasConceptScore W2023691318C145644426 @default.
- W2023691318 hasConceptScore W2023691318C149091818 @default.
- W2023691318 hasConceptScore W2023691318C152877465 @default.
- W2023691318 hasConceptScore W2023691318C162443782 @default.
- W2023691318 hasConceptScore W2023691318C165825675 @default.
- W2023691318 hasConceptScore W2023691318C186846655 @default.
- W2023691318 hasConceptScore W2023691318C199360897 @default.
- W2023691318 hasConceptScore W2023691318C2777904410 @default.
- W2023691318 hasConceptScore W2023691318C2780624054 @default.
- W2023691318 hasConceptScore W2023691318C33923547 @default.
- W2023691318 hasConceptScore W2023691318C36503486 @default.
- W2023691318 hasConceptScore W2023691318C41008148 @default.
- W2023691318 hasConceptScore W2023691318C42383842 @default.
- W2023691318 hasConceptScore W2023691318C78519656 @default.
- W2023691318 hasIssue "3" @default.
- W2023691318 hasLocation W20236913181 @default.
- W2023691318 hasOpenAccess W2023691318 @default.
- W2023691318 hasPrimaryLocation W20236913181 @default.
- W2023691318 hasRelatedWork W1011588090 @default.
- W2023691318 hasRelatedWork W139286382 @default.
- W2023691318 hasRelatedWork W1598796492 @default.
- W2023691318 hasRelatedWork W1977008535 @default.
- W2023691318 hasRelatedWork W2167031223 @default.
- W2023691318 hasRelatedWork W2967858513 @default.
- W2023691318 hasRelatedWork W3122607007 @default.
- W2023691318 hasRelatedWork W3155744979 @default.
- W2023691318 hasRelatedWork W92192699 @default.
- W2023691318 hasRelatedWork W2183725039 @default.
- W2023691318 hasVolume "15" @default.
- W2023691318 isParatext "false" @default.
- W2023691318 isRetracted "false" @default.
- W2023691318 magId "2023691318" @default.
- W2023691318 workType "article" @default.