Matches in SemOpenAlex for { <https://semopenalex.org/work/W4383898431> ?p ?o ?g. }
- W4383898431 abstract "Software systems for automating safety-critical tasks in application domains like, for example, avionics, railways, automotive, industry 4.0 and healthcare, must be highly reliable. In this paper, we focus on safety-critical software written in Scade, a model-based programming language largely adopted in industry, and we specifically draw on our own experience in a joint industry-university project aimed at developing safety-critical Scade programs for the railways domain. We investigate automated test case generation for Scade programs. We leverage on state-of-the-art test generators based on either symbolic execution, bounded model checking or search-based testing, in order to define an original toolchain for generating test cases for Scade programs. We rely on the toolchain to explore the absolute and relative effectiveness of those mainstream test generation approaches on a benchmark of 37 Scade programs developed as part of an on-board signaling unit for high-speed railway systems." @default.
- W4383898431 created "2023-07-12" @default.
- W4383898431 creator A5038269238 @default.
- W4383898431 creator A5039390636 @default.
- W4383898431 creator A5073526827 @default.
- W4383898431 creator A5076033814 @default.
- W4383898431 creator A5077180647 @default.
- W4383898431 creator A5080572265 @default.
- W4383898431 date "2023-05-01" @default.
- W4383898431 modified "2023-10-16" @default.
- W4383898431 title "Automated Test Case Generation for Safety-Critical Software in Scade" @default.
- W4383898431 cites W1480909796 @default.
- W4383898431 cites W1644732418 @default.
- W4383898431 cites W1884521777 @default.
- W4383898431 cites W1971650562 @default.
- W4383898431 cites W1977321274 @default.
- W4383898431 cites W1979345446 @default.
- W4383898431 cites W1987382793 @default.
- W4383898431 cites W1991346612 @default.
- W4383898431 cites W2005201077 @default.
- W4383898431 cites W2026525660 @default.
- W4383898431 cites W2047694629 @default.
- W4383898431 cites W2071112258 @default.
- W4383898431 cites W2074063501 @default.
- W4383898431 cites W2081938726 @default.
- W4383898431 cites W2101512909 @default.
- W4383898431 cites W2107147876 @default.
- W4383898431 cites W2107709519 @default.
- W4383898431 cites W2109276114 @default.
- W4383898431 cites W2110311336 @default.
- W4383898431 cites W2119296494 @default.
- W4383898431 cites W2122282640 @default.
- W4383898431 cites W2125415493 @default.
- W4383898431 cites W2129487583 @default.
- W4383898431 cites W2129538349 @default.
- W4383898431 cites W2130422196 @default.
- W4383898431 cites W2150990339 @default.
- W4383898431 cites W2161716898 @default.
- W4383898431 cites W2165243356 @default.
- W4383898431 cites W2284878292 @default.
- W4383898431 cites W2516590613 @default.
- W4383898431 cites W2548465910 @default.
- W4383898431 cites W2771310812 @default.
- W4383898431 cites W290481602 @default.
- W4383898431 cites W4230286696 @default.
- W4383898431 cites W4318976592 @default.
- W4383898431 cites W995045374 @default.
- W4383898431 doi "https://doi.org/10.1109/icse-seip58684.2023.00049" @default.
- W4383898431 hasPublicationYear "2023" @default.
- W4383898431 type Work @default.
- W4383898431 citedByCount "0" @default.
- W4383898431 crossrefType "proceedings-article" @default.
- W4383898431 hasAuthorship W4383898431A5038269238 @default.
- W4383898431 hasAuthorship W4383898431A5039390636 @default.
- W4383898431 hasAuthorship W4383898431A5073526827 @default.
- W4383898431 hasAuthorship W4383898431A5076033814 @default.
- W4383898431 hasAuthorship W4383898431A5077180647 @default.
- W4383898431 hasAuthorship W4383898431A5080572265 @default.
- W4383898431 hasConcept C115903868 @default.
- W4383898431 hasConcept C119857082 @default.
- W4383898431 hasConcept C127413603 @default.
- W4383898431 hasConcept C128942645 @default.
- W4383898431 hasConcept C146978453 @default.
- W4383898431 hasConcept C149635348 @default.
- W4383898431 hasConcept C152877465 @default.
- W4383898431 hasConcept C15792166 @default.
- W4383898431 hasConcept C163707989 @default.
- W4383898431 hasConcept C199360897 @default.
- W4383898431 hasConcept C2777062904 @default.
- W4383898431 hasConcept C2777904410 @default.
- W4383898431 hasConcept C41008148 @default.
- W4383898431 hasConcept C526921623 @default.
- W4383898431 hasConceptScore W4383898431C115903868 @default.
- W4383898431 hasConceptScore W4383898431C119857082 @default.
- W4383898431 hasConceptScore W4383898431C127413603 @default.
- W4383898431 hasConceptScore W4383898431C128942645 @default.
- W4383898431 hasConceptScore W4383898431C146978453 @default.
- W4383898431 hasConceptScore W4383898431C149635348 @default.
- W4383898431 hasConceptScore W4383898431C152877465 @default.
- W4383898431 hasConceptScore W4383898431C15792166 @default.
- W4383898431 hasConceptScore W4383898431C163707989 @default.
- W4383898431 hasConceptScore W4383898431C199360897 @default.
- W4383898431 hasConceptScore W4383898431C2777062904 @default.
- W4383898431 hasConceptScore W4383898431C2777904410 @default.
- W4383898431 hasConceptScore W4383898431C41008148 @default.
- W4383898431 hasConceptScore W4383898431C526921623 @default.
- W4383898431 hasLocation W43838984311 @default.
- W4383898431 hasOpenAccess W4383898431 @default.
- W4383898431 hasPrimaryLocation W43838984311 @default.
- W4383898431 hasRelatedWork W1128063896 @default.
- W4383898431 hasRelatedWork W1915513221 @default.
- W4383898431 hasRelatedWork W2171660074 @default.
- W4383898431 hasRelatedWork W2616444383 @default.
- W4383898431 hasRelatedWork W2945958501 @default.
- W4383898431 hasRelatedWork W3015373913 @default.
- W4383898431 hasRelatedWork W3022195708 @default.
- W4383898431 hasRelatedWork W3083467123 @default.
- W4383898431 hasRelatedWork W3201719478 @default.
- W4383898431 hasRelatedWork W4280639784 @default.
- W4383898431 isParatext "false" @default.