Matches in SemOpenAlex for { <https://semopenalex.org/work/W2243328754> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2243328754 abstract "In this article we present an approach to couple model-based testing with static analysis based on a tool coupling between Astrée and EmbeddedTester. Astrée reports all potential run-time errors in C programs. This makes it possible to prove the absence of run-time errors, but users may have to deal with false alarms, i.e. spurious notifications about potential run-time errors. Investigating alarms to find out whether they are true errors which have to be fixed, or whether they are false alarms can cause significant effort. The key idea of this work is to apply model-based testing to automatically find test vectors for alarms reported by the static analyzer. When a test vector reproducing the error has been found, it has been proven that it is a true error, when no error has been found with EmbeddedTester's model checking-based CV engine, it has been proven to be a false alarm. This can significantly reduce the alarm analysis effort and reduces the level of expertise needed to perform the code-level software verification." @default.
- W2243328754 created "2016-06-24" @default.
- W2243328754 creator A5005023091 @default.
- W2243328754 creator A5008126417 @default.
- W2243328754 creator A5035201097 @default.
- W2243328754 creator A5050301939 @default.
- W2243328754 date "2015-09-01" @default.
- W2243328754 modified "2023-09-23" @default.
- W2243328754 title "Exploiting Synergies between Static Analysis and Model-Based Testing" @default.
- W2243328754 cites W132594803 @default.
- W2243328754 cites W1519854356 @default.
- W2243328754 cites W1787074469 @default.
- W2243328754 cites W1853172962 @default.
- W2243328754 cites W1974635583 @default.
- W2243328754 cites W1995357981 @default.
- W2243328754 cites W2043100293 @default.
- W2243328754 cites W2152055469 @default.
- W2243328754 cites W2170736936 @default.
- W2243328754 cites W2185230549 @default.
- W2243328754 cites W2258695092 @default.
- W2243328754 cites W2283846041 @default.
- W2243328754 cites W2326644268 @default.
- W2243328754 cites W2987803397 @default.
- W2243328754 cites W50594641 @default.
- W2243328754 doi "https://doi.org/10.1109/edcc.2015.20" @default.
- W2243328754 hasPublicationYear "2015" @default.
- W2243328754 type Work @default.
- W2243328754 sameAs 2243328754 @default.
- W2243328754 citedByCount "0" @default.
- W2243328754 crossrefType "proceedings-article" @default.
- W2243328754 hasAuthorship W2243328754A5005023091 @default.
- W2243328754 hasAuthorship W2243328754A5008126417 @default.
- W2243328754 hasAuthorship W2243328754A5035201097 @default.
- W2243328754 hasAuthorship W2243328754A5050301939 @default.
- W2243328754 hasConcept C103088060 @default.
- W2243328754 hasConcept C11413529 @default.
- W2243328754 hasConcept C119857082 @default.
- W2243328754 hasConcept C124101348 @default.
- W2243328754 hasConcept C127413603 @default.
- W2243328754 hasConcept C149091818 @default.
- W2243328754 hasConcept C159985019 @default.
- W2243328754 hasConcept C161821725 @default.
- W2243328754 hasConcept C186846655 @default.
- W2243328754 hasConcept C192562407 @default.
- W2243328754 hasConcept C199360897 @default.
- W2243328754 hasConcept C200601418 @default.
- W2243328754 hasConcept C26517878 @default.
- W2243328754 hasConcept C2776836416 @default.
- W2243328754 hasConcept C2777904410 @default.
- W2243328754 hasConcept C2779119184 @default.
- W2243328754 hasConcept C38652104 @default.
- W2243328754 hasConcept C41008148 @default.
- W2243328754 hasConcept C97256817 @default.
- W2243328754 hasConcept C97686452 @default.
- W2243328754 hasConceptScore W2243328754C103088060 @default.
- W2243328754 hasConceptScore W2243328754C11413529 @default.
- W2243328754 hasConceptScore W2243328754C119857082 @default.
- W2243328754 hasConceptScore W2243328754C124101348 @default.
- W2243328754 hasConceptScore W2243328754C127413603 @default.
- W2243328754 hasConceptScore W2243328754C149091818 @default.
- W2243328754 hasConceptScore W2243328754C159985019 @default.
- W2243328754 hasConceptScore W2243328754C161821725 @default.
- W2243328754 hasConceptScore W2243328754C186846655 @default.
- W2243328754 hasConceptScore W2243328754C192562407 @default.
- W2243328754 hasConceptScore W2243328754C199360897 @default.
- W2243328754 hasConceptScore W2243328754C200601418 @default.
- W2243328754 hasConceptScore W2243328754C26517878 @default.
- W2243328754 hasConceptScore W2243328754C2776836416 @default.
- W2243328754 hasConceptScore W2243328754C2777904410 @default.
- W2243328754 hasConceptScore W2243328754C2779119184 @default.
- W2243328754 hasConceptScore W2243328754C38652104 @default.
- W2243328754 hasConceptScore W2243328754C41008148 @default.
- W2243328754 hasConceptScore W2243328754C97256817 @default.
- W2243328754 hasConceptScore W2243328754C97686452 @default.
- W2243328754 hasLocation W22433287541 @default.
- W2243328754 hasOpenAccess W2243328754 @default.
- W2243328754 hasPrimaryLocation W22433287541 @default.
- W2243328754 hasRelatedWork W1553379359 @default.
- W2243328754 hasRelatedWork W2028550126 @default.
- W2243328754 hasRelatedWork W2049859289 @default.
- W2243328754 hasRelatedWork W2051401724 @default.
- W2243328754 hasRelatedWork W2243328754 @default.
- W2243328754 hasRelatedWork W2355270538 @default.
- W2243328754 hasRelatedWork W2364587616 @default.
- W2243328754 hasRelatedWork W2496406472 @default.
- W2243328754 hasRelatedWork W45730638 @default.
- W2243328754 hasRelatedWork W2461884818 @default.
- W2243328754 isParatext "false" @default.
- W2243328754 isRetracted "false" @default.
- W2243328754 magId "2243328754" @default.
- W2243328754 workType "article" @default.