Matches in SemOpenAlex for { <https://semopenalex.org/work/W2155116825> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W2155116825 abstract "Model-based Debugging is an application of Model-based Diagnosis techniques to debugging computer systems. Its basic principle is to compare a model, i.e., a description of the correct behaviour of a system, to the observed behaviour of the system. In this paper we show how this technique can be applied in the context of model-based mutation testing (MBMT) with timed automata. In MBMT we automatically generate a set of test sequences out of a test model. In contrast to general model-based testing, the test cases of MBMT cover a pre-defined set of faults that have been injected into the model (model mutation). Our automatic debugging process is purely black-box. If a test run fails, our tool reports a diagnosis as a set of model mutations. These mutations provide possible explanations why the test case has failed. For reproducing the failure, we also generate a set of minimal test cases leading to the implementation fault. The technique is implemented for Uppaal's timed automata models and is based on a language inclusion check via bounded model checking. It adds debugging capability to our existing test-case generators. A car-alarm system serves as illustrating case study." @default.
- W2155116825 created "2016-06-24" @default.
- W2155116825 creator A5001485095 @default.
- W2155116825 creator A5009450062 @default.
- W2155116825 creator A5054433534 @default.
- W2155116825 date "2014-01-01" @default.
- W2155116825 modified "2023-10-01" @default.
- W2155116825 title "Debugging with Timed Automata Mutations" @default.
- W2155116825 cites W1480909796 @default.
- W2155116825 cites W154340749 @default.
- W2155116825 cites W1574571988 @default.
- W2155116825 cites W1586681669 @default.
- W2155116825 cites W2000947342 @default.
- W2155116825 cites W2018618590 @default.
- W2155116825 cites W2049695835 @default.
- W2155116825 cites W2101508170 @default.
- W2155116825 cites W2102441982 @default.
- W2155116825 cites W2108309071 @default.
- W2155116825 cites W2120916408 @default.
- W2155116825 cites W2121862753 @default.
- W2155116825 cites W2126818664 @default.
- W2155116825 cites W2133350402 @default.
- W2155116825 cites W2135841285 @default.
- W2155116825 cites W2151800000 @default.
- W2155116825 cites W2158475682 @default.
- W2155116825 cites W46459026 @default.
- W2155116825 cites W56086133 @default.
- W2155116825 doi "https://doi.org/10.1007/978-3-319-10506-2_4" @default.
- W2155116825 hasPublicationYear "2014" @default.
- W2155116825 type Work @default.
- W2155116825 sameAs 2155116825 @default.
- W2155116825 citedByCount "8" @default.
- W2155116825 countsByYear W21551168252017 @default.
- W2155116825 countsByYear W21551168252018 @default.
- W2155116825 countsByYear W21551168252019 @default.
- W2155116825 crossrefType "book-chapter" @default.
- W2155116825 hasAuthorship W2155116825A5001485095 @default.
- W2155116825 hasAuthorship W2155116825A5009450062 @default.
- W2155116825 hasAuthorship W2155116825A5054433534 @default.
- W2155116825 hasConcept C108913964 @default.
- W2155116825 hasConcept C110251889 @default.
- W2155116825 hasConcept C112505250 @default.
- W2155116825 hasConcept C119857082 @default.
- W2155116825 hasConcept C128942645 @default.
- W2155116825 hasConcept C151730666 @default.
- W2155116825 hasConcept C152877465 @default.
- W2155116825 hasConcept C165825675 @default.
- W2155116825 hasConcept C168065819 @default.
- W2155116825 hasConcept C177264268 @default.
- W2155116825 hasConcept C199360897 @default.
- W2155116825 hasConcept C2779343474 @default.
- W2155116825 hasConcept C41008148 @default.
- W2155116825 hasConcept C80444323 @default.
- W2155116825 hasConcept C86803240 @default.
- W2155116825 hasConceptScore W2155116825C108913964 @default.
- W2155116825 hasConceptScore W2155116825C110251889 @default.
- W2155116825 hasConceptScore W2155116825C112505250 @default.
- W2155116825 hasConceptScore W2155116825C119857082 @default.
- W2155116825 hasConceptScore W2155116825C128942645 @default.
- W2155116825 hasConceptScore W2155116825C151730666 @default.
- W2155116825 hasConceptScore W2155116825C152877465 @default.
- W2155116825 hasConceptScore W2155116825C165825675 @default.
- W2155116825 hasConceptScore W2155116825C168065819 @default.
- W2155116825 hasConceptScore W2155116825C177264268 @default.
- W2155116825 hasConceptScore W2155116825C199360897 @default.
- W2155116825 hasConceptScore W2155116825C2779343474 @default.
- W2155116825 hasConceptScore W2155116825C41008148 @default.
- W2155116825 hasConceptScore W2155116825C80444323 @default.
- W2155116825 hasConceptScore W2155116825C86803240 @default.
- W2155116825 hasLocation W21551168251 @default.
- W2155116825 hasOpenAccess W2155116825 @default.
- W2155116825 hasPrimaryLocation W21551168251 @default.
- W2155116825 hasRelatedWork W104124984 @default.
- W2155116825 hasRelatedWork W1531286432 @default.
- W2155116825 hasRelatedWork W1986867802 @default.
- W2155116825 hasRelatedWork W2013449241 @default.
- W2155116825 hasRelatedWork W2016011743 @default.
- W2155116825 hasRelatedWork W2039882724 @default.
- W2155116825 hasRelatedWork W2099853744 @default.
- W2155116825 hasRelatedWork W2156077234 @default.
- W2155116825 hasRelatedWork W2180482943 @default.
- W2155116825 hasRelatedWork W2342538055 @default.
- W2155116825 hasRelatedWork W2368465500 @default.
- W2155116825 hasRelatedWork W2555066691 @default.
- W2155116825 hasRelatedWork W2605248979 @default.
- W2155116825 hasRelatedWork W2736096953 @default.
- W2155116825 hasRelatedWork W2796561738 @default.
- W2155116825 hasRelatedWork W2884024166 @default.
- W2155116825 hasRelatedWork W2969771456 @default.
- W2155116825 hasRelatedWork W3097017895 @default.
- W2155116825 hasRelatedWork W430052782 @default.
- W2155116825 hasRelatedWork W56086133 @default.
- W2155116825 isParatext "false" @default.
- W2155116825 isRetracted "false" @default.
- W2155116825 magId "2155116825" @default.
- W2155116825 workType "book-chapter" @default.