Matches in SemOpenAlex for { <https://semopenalex.org/work/W1569302891> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W1569302891 abstract "A lot of systems nowadays, especially in safety-critical areas, have to comply to very strict real-time requirements. Deviation from the specified time behavior can lead to severe faults. Thus the components need to be thoroughly tested to ensure a high quality standard. Model-based testing is a popular technology for automatic and systematic test-case generation, where a system-under-test is tested for conformance with a model that specifies its intended behavior. Model-based mutation testing is a specific fault-oriented variant of model- based testing. In this variant of testing, the test case generation is guided by a mutant, an intentionally altered version of the original model that specifies a common modeling error, to generate a specific test case capable of identifying that error. In the presented thesis we investigate ways to apply model-based mutation testing to real-time applications. The plan is to investigate two specification languages: timed automata and timed contracts. We already developed an algorithm and an implementation for testing deterministic timed automata and a theory and implementation for untimed contracts. In the last year of the thesis we will concentrate on determinizing timed automata restricted to the bounded case, supporting the test-case generation from networks of timed automata and adding real-time support to our contract-based testing tool. The final step of the thesis will be the evaluation on industrial case studies." @default.
- W1569302891 created "2016-06-24" @default.
- W1569302891 creator A5054433534 @default.
- W1569302891 date "2015-04-01" @default.
- W1569302891 modified "2023-09-26" @default.
- W1569302891 title "Model-Based Mutation Testing of Synchronous and Asynchronous Real-Time Systems" @default.
- W1569302891 cites W105846125 @default.
- W1569302891 cites W1998500418 @default.
- W1569302891 cites W2091661303 @default.
- W1569302891 cites W2101508170 @default.
- W1569302891 cites W2126818664 @default.
- W1569302891 cites W2135841285 @default.
- W1569302891 cites W2293287097 @default.
- W1569302891 cites W2948181354 @default.
- W1569302891 cites W56086133 @default.
- W1569302891 cites W71490207 @default.
- W1569302891 doi "https://doi.org/10.1109/icst.2015.7102615" @default.
- W1569302891 hasPublicationYear "2015" @default.
- W1569302891 type Work @default.
- W1569302891 sameAs 1569302891 @default.
- W1569302891 citedByCount "1" @default.
- W1569302891 countsByYear W15693028912019 @default.
- W1569302891 crossrefType "proceedings-article" @default.
- W1569302891 hasAuthorship W1569302891A5054433534 @default.
- W1569302891 hasConcept C110251889 @default.
- W1569302891 hasConcept C111919701 @default.
- W1569302891 hasConcept C112505250 @default.
- W1569302891 hasConcept C119857082 @default.
- W1569302891 hasConcept C127413603 @default.
- W1569302891 hasConcept C128942645 @default.
- W1569302891 hasConcept C151319957 @default.
- W1569302891 hasConcept C152877465 @default.
- W1569302891 hasConcept C165825675 @default.
- W1569302891 hasConcept C188087704 @default.
- W1569302891 hasConcept C199360897 @default.
- W1569302891 hasConcept C200601418 @default.
- W1569302891 hasConcept C31258907 @default.
- W1569302891 hasConcept C41008148 @default.
- W1569302891 hasConcept C76844732 @default.
- W1569302891 hasConcept C80444323 @default.
- W1569302891 hasConceptScore W1569302891C110251889 @default.
- W1569302891 hasConceptScore W1569302891C111919701 @default.
- W1569302891 hasConceptScore W1569302891C112505250 @default.
- W1569302891 hasConceptScore W1569302891C119857082 @default.
- W1569302891 hasConceptScore W1569302891C127413603 @default.
- W1569302891 hasConceptScore W1569302891C128942645 @default.
- W1569302891 hasConceptScore W1569302891C151319957 @default.
- W1569302891 hasConceptScore W1569302891C152877465 @default.
- W1569302891 hasConceptScore W1569302891C165825675 @default.
- W1569302891 hasConceptScore W1569302891C188087704 @default.
- W1569302891 hasConceptScore W1569302891C199360897 @default.
- W1569302891 hasConceptScore W1569302891C200601418 @default.
- W1569302891 hasConceptScore W1569302891C31258907 @default.
- W1569302891 hasConceptScore W1569302891C41008148 @default.
- W1569302891 hasConceptScore W1569302891C76844732 @default.
- W1569302891 hasConceptScore W1569302891C80444323 @default.
- W1569302891 hasLocation W15693028911 @default.
- W1569302891 hasOpenAccess W1569302891 @default.
- W1569302891 hasPrimaryLocation W15693028911 @default.
- W1569302891 hasRelatedWork W1603037766 @default.
- W1569302891 hasRelatedWork W1967826632 @default.
- W1569302891 hasRelatedWork W1990895645 @default.
- W1569302891 hasRelatedWork W2046334641 @default.
- W1569302891 hasRelatedWork W2066744758 @default.
- W1569302891 hasRelatedWork W2081306301 @default.
- W1569302891 hasRelatedWork W2107649010 @default.
- W1569302891 hasRelatedWork W2128238437 @default.
- W1569302891 hasRelatedWork W2147034612 @default.
- W1569302891 hasRelatedWork W2148109661 @default.
- W1569302891 hasRelatedWork W2157927392 @default.
- W1569302891 hasRelatedWork W2244580467 @default.
- W1569302891 hasRelatedWork W2255781346 @default.
- W1569302891 hasRelatedWork W2290308002 @default.
- W1569302891 hasRelatedWork W2508564296 @default.
- W1569302891 hasRelatedWork W2542950057 @default.
- W1569302891 hasRelatedWork W2587367034 @default.
- W1569302891 hasRelatedWork W2785360189 @default.
- W1569302891 hasRelatedWork W73862328 @default.
- W1569302891 hasRelatedWork W2555341099 @default.
- W1569302891 isParatext "false" @default.
- W1569302891 isRetracted "false" @default.
- W1569302891 magId "1569302891" @default.
- W1569302891 workType "article" @default.