Matches in SemOpenAlex for { <https://semopenalex.org/work/W1531286432> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W1531286432 abstract "Model-based mutation testing is a promising approach to automate the generation of test cases. However, application is still limited to small models because of the computational complexity. In the proposed thesis it is investigated, how the knowledge of the internal structure of the test model can help to push the limits of the model size, which is necessary eg. for interlocking systems. A recently invented incremental language inclusion check for timed automata shall form the basis of an incremental test-case generation method based on partial test models. The approach will be applied to both synchronous and asynchronous test models. The thesis will also include hints on how to model the system-under-test in order to facilitate the proposed incremental test-case generation technique." @default.
- W1531286432 created "2016-06-24" @default.
- W1531286432 creator A5072977723 @default.
- W1531286432 date "2015-04-01" @default.
- W1531286432 modified "2023-09-22" @default.
- W1531286432 title "Incremental Model-Based Mutation Testing" @default.
- W1531286432 cites W1530540819 @default.
- W1531286432 cites W1566958384 @default.
- W1531286432 cites W1974673257 @default.
- W1531286432 cites W2127574686 @default.
- W1531286432 cites W2145505903 @default.
- W1531286432 cites W2158395308 @default.
- W1531286432 cites W2765906234 @default.
- W1531286432 cites W2948181354 @default.
- W1531286432 cites W46459026 @default.
- W1531286432 cites W64099252 @default.
- W1531286432 doi "https://doi.org/10.1109/icst.2015.7102614" @default.
- W1531286432 hasPublicationYear "2015" @default.
- W1531286432 type Work @default.
- W1531286432 sameAs 1531286432 @default.
- W1531286432 citedByCount "0" @default.
- W1531286432 crossrefType "proceedings-article" @default.
- W1531286432 hasAuthorship W1531286432A5072977723 @default.
- W1531286432 hasConcept C112505250 @default.
- W1531286432 hasConcept C11413529 @default.
- W1531286432 hasConcept C119857082 @default.
- W1531286432 hasConcept C128942645 @default.
- W1531286432 hasConcept C151319957 @default.
- W1531286432 hasConcept C151730666 @default.
- W1531286432 hasConcept C152877465 @default.
- W1531286432 hasConcept C165825675 @default.
- W1531286432 hasConcept C2777267654 @default.
- W1531286432 hasConcept C31258907 @default.
- W1531286432 hasConcept C41008148 @default.
- W1531286432 hasConcept C80444323 @default.
- W1531286432 hasConcept C86803240 @default.
- W1531286432 hasConceptScore W1531286432C112505250 @default.
- W1531286432 hasConceptScore W1531286432C11413529 @default.
- W1531286432 hasConceptScore W1531286432C119857082 @default.
- W1531286432 hasConceptScore W1531286432C128942645 @default.
- W1531286432 hasConceptScore W1531286432C151319957 @default.
- W1531286432 hasConceptScore W1531286432C151730666 @default.
- W1531286432 hasConceptScore W1531286432C152877465 @default.
- W1531286432 hasConceptScore W1531286432C165825675 @default.
- W1531286432 hasConceptScore W1531286432C2777267654 @default.
- W1531286432 hasConceptScore W1531286432C31258907 @default.
- W1531286432 hasConceptScore W1531286432C41008148 @default.
- W1531286432 hasConceptScore W1531286432C80444323 @default.
- W1531286432 hasConceptScore W1531286432C86803240 @default.
- W1531286432 hasLocation W15312864321 @default.
- W1531286432 hasOpenAccess W1531286432 @default.
- W1531286432 hasPrimaryLocation W15312864321 @default.
- W1531286432 hasRelatedWork W1495461922 @default.
- W1531286432 hasRelatedWork W1516288898 @default.
- W1531286432 hasRelatedWork W1565193401 @default.
- W1531286432 hasRelatedWork W1568805213 @default.
- W1531286432 hasRelatedWork W1656829835 @default.
- W1531286432 hasRelatedWork W1850275321 @default.
- W1531286432 hasRelatedWork W1904202622 @default.
- W1531286432 hasRelatedWork W1968148067 @default.
- W1531286432 hasRelatedWork W2016011743 @default.
- W1531286432 hasRelatedWork W2039882724 @default.
- W1531286432 hasRelatedWork W2049046432 @default.
- W1531286432 hasRelatedWork W2133853708 @default.
- W1531286432 hasRelatedWork W2156077234 @default.
- W1531286432 hasRelatedWork W2183622971 @default.
- W1531286432 hasRelatedWork W2555066691 @default.
- W1531286432 hasRelatedWork W2619922413 @default.
- W1531286432 hasRelatedWork W430052782 @default.
- W1531286432 hasRelatedWork W611797893 @default.
- W1531286432 hasRelatedWork W622304541 @default.
- W1531286432 hasRelatedWork W1972360043 @default.
- W1531286432 isParatext "false" @default.
- W1531286432 isRetracted "false" @default.
- W1531286432 magId "1531286432" @default.
- W1531286432 workType "article" @default.