Matches in SemOpenAlex for { <https://semopenalex.org/work/W1499686507> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W1499686507 endingPage "299" @default.
- W1499686507 startingPage "277" @default.
- W1499686507 abstract "Starting from the perspective of safety-critical systems development in avionics, railways and the automotive domain, we advocate an integrated verification approach for C/C++ modules combining abstract interpretation, formal verification and conventional testing. It is illustrated how testing and formal verification can benefit from abstract interpretation results and, vice versa, how test automation techniques may help to reduce the well known problem of false alarms frequently encountered in abstract interpretations. As a consequence, verification tools integrating these different methodologies can provide a wider variety of useful results to their users and facilitate the bug localisation processes involved. When applied to C/C++ software, the problems of aliasing, type casts and mixed arithmetic and bit operations have to be handled on the level of constraint generation. We cope with this problem by using a symbolic interpretation method operating on an abstracted memory model. We describe the available tool support developed by the author, his research group and industrial partners." @default.
- W1499686507 created "2016-06-24" @default.
- W1499686507 creator A5039105876 @default.
- W1499686507 date "2010-01-01" @default.
- W1499686507 modified "2023-10-15" @default.
- W1499686507 title "Integrated and Automated Abstract Interpretation, Verification and Testing of C/C++ Modules" @default.
- W1499686507 cites W1481018260 @default.
- W1499686507 cites W1498734916 @default.
- W1499686507 cites W1566577998 @default.
- W1499686507 cites W1755257908 @default.
- W1499686507 cites W2113159073 @default.
- W1499686507 cites W2117132506 @default.
- W1499686507 cites W2163850966 @default.
- W1499686507 cites W2170630946 @default.
- W1499686507 cites W4254136620 @default.
- W1499686507 cites W4298255709 @default.
- W1499686507 doi "https://doi.org/10.1007/978-3-642-11512-7_18" @default.
- W1499686507 hasPublicationYear "2010" @default.
- W1499686507 type Work @default.
- W1499686507 sameAs 1499686507 @default.
- W1499686507 citedByCount "3" @default.
- W1499686507 countsByYear W14996865072012 @default.
- W1499686507 countsByYear W14996865072013 @default.
- W1499686507 countsByYear W14996865072014 @default.
- W1499686507 crossrefType "book-chapter" @default.
- W1499686507 hasAuthorship W1499686507A5039105876 @default.
- W1499686507 hasBestOaLocation W14996865072 @default.
- W1499686507 hasConcept C107683887 @default.
- W1499686507 hasConcept C111498074 @default.
- W1499686507 hasConcept C115901376 @default.
- W1499686507 hasConcept C115903868 @default.
- W1499686507 hasConcept C127413603 @default.
- W1499686507 hasConcept C134306372 @default.
- W1499686507 hasConcept C136536468 @default.
- W1499686507 hasConcept C142284323 @default.
- W1499686507 hasConcept C154945302 @default.
- W1499686507 hasConcept C15792166 @default.
- W1499686507 hasConcept C159985019 @default.
- W1499686507 hasConcept C186846655 @default.
- W1499686507 hasConcept C192562407 @default.
- W1499686507 hasConcept C199360897 @default.
- W1499686507 hasConcept C2777904410 @default.
- W1499686507 hasConcept C2779639559 @default.
- W1499686507 hasConcept C2780654840 @default.
- W1499686507 hasConcept C33923547 @default.
- W1499686507 hasConcept C36503486 @default.
- W1499686507 hasConcept C4069607 @default.
- W1499686507 hasConcept C41008148 @default.
- W1499686507 hasConcept C527412718 @default.
- W1499686507 hasConcept C529173508 @default.
- W1499686507 hasConcept C78519656 @default.
- W1499686507 hasConceptScore W1499686507C107683887 @default.
- W1499686507 hasConceptScore W1499686507C111498074 @default.
- W1499686507 hasConceptScore W1499686507C115901376 @default.
- W1499686507 hasConceptScore W1499686507C115903868 @default.
- W1499686507 hasConceptScore W1499686507C127413603 @default.
- W1499686507 hasConceptScore W1499686507C134306372 @default.
- W1499686507 hasConceptScore W1499686507C136536468 @default.
- W1499686507 hasConceptScore W1499686507C142284323 @default.
- W1499686507 hasConceptScore W1499686507C154945302 @default.
- W1499686507 hasConceptScore W1499686507C15792166 @default.
- W1499686507 hasConceptScore W1499686507C159985019 @default.
- W1499686507 hasConceptScore W1499686507C186846655 @default.
- W1499686507 hasConceptScore W1499686507C192562407 @default.
- W1499686507 hasConceptScore W1499686507C199360897 @default.
- W1499686507 hasConceptScore W1499686507C2777904410 @default.
- W1499686507 hasConceptScore W1499686507C2779639559 @default.
- W1499686507 hasConceptScore W1499686507C2780654840 @default.
- W1499686507 hasConceptScore W1499686507C33923547 @default.
- W1499686507 hasConceptScore W1499686507C36503486 @default.
- W1499686507 hasConceptScore W1499686507C4069607 @default.
- W1499686507 hasConceptScore W1499686507C41008148 @default.
- W1499686507 hasConceptScore W1499686507C527412718 @default.
- W1499686507 hasConceptScore W1499686507C529173508 @default.
- W1499686507 hasConceptScore W1499686507C78519656 @default.
- W1499686507 hasLocation W14996865071 @default.
- W1499686507 hasLocation W14996865072 @default.
- W1499686507 hasOpenAccess W1499686507 @default.
- W1499686507 hasPrimaryLocation W14996865071 @default.
- W1499686507 hasRelatedWork W1499686507 @default.
- W1499686507 hasRelatedWork W1536174448 @default.
- W1499686507 hasRelatedWork W2066189285 @default.
- W1499686507 hasRelatedWork W2119002163 @default.
- W1499686507 hasRelatedWork W2137908418 @default.
- W1499686507 hasRelatedWork W2184054282 @default.
- W1499686507 hasRelatedWork W2197865678 @default.
- W1499686507 hasRelatedWork W2565568938 @default.
- W1499686507 hasRelatedWork W2899100898 @default.
- W1499686507 hasRelatedWork W47563837 @default.
- W1499686507 isParatext "false" @default.
- W1499686507 isRetracted "false" @default.
- W1499686507 magId "1499686507" @default.
- W1499686507 workType "book-chapter" @default.