Matches in SemOpenAlex for { <https://semopenalex.org/work/W3138592144> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W3138592144 endingPage "291" @default.
- W3138592144 startingPage "269" @default.
- W3138592144 abstract "Abstract Compilers are error-prone due to their high complexity. They are relevant for not only general purpose programming languages, but also for many domain specific languages. Bugs in compilers can potentially render all programs at risk. It is thus crucial that compilers are systematically tested, if not verified. Recently, a number of efforts have been made to formalise and standardise programming language semantics, which can be applied to verify the correctness of the respective compilers. In this work, we present a novel specification-based testing method named SpecTest to better utilise these semantics for testing. By applying an executable semantics as test oracle, SpecTest can discover deep semantic errors in compilers. Compared to existing approaches, SpecTest is built upon a novel test coverage criterion called semantic coverage which brings together mutation testing and fuzzing to specifically target less tested language features. We apply SpecTest to systematically test two compilers, i.e., the Java compiler and the Solidity compiler. SpecTest improves the semantic coverage of both compilers considerably and reveals multiple previously unknown bugs." @default.
- W3138592144 created "2021-03-29" @default.
- W3138592144 creator A5058805862 @default.
- W3138592144 creator A5068911982 @default.
- W3138592144 date "2021-01-01" @default.
- W3138592144 modified "2023-10-17" @default.
- W3138592144 title "SpecTest: Specification-Based Compiler Testing" @default.
- W3138592144 cites W1538948796 @default.
- W3138592144 cites W1981618658 @default.
- W3138592144 cites W1996576978 @default.
- W3138592144 cites W2019793857 @default.
- W3138592144 cites W2023035194 @default.
- W3138592144 cites W2030405312 @default.
- W3138592144 cites W2041713059 @default.
- W3138592144 cites W2048417351 @default.
- W3138592144 cites W2077484356 @default.
- W3138592144 cites W2082036516 @default.
- W3138592144 cites W2095445208 @default.
- W3138592144 cites W2096529083 @default.
- W3138592144 cites W2117802778 @default.
- W3138592144 cites W2130746431 @default.
- W3138592144 cites W2135841285 @default.
- W3138592144 cites W2170224888 @default.
- W3138592144 cites W2170737051 @default.
- W3138592144 cites W2370472429 @default.
- W3138592144 cites W2390518826 @default.
- W3138592144 cites W2532737545 @default.
- W3138592144 cites W2808279976 @default.
- W3138592144 cites W2893185619 @default.
- W3138592144 cites W2954701465 @default.
- W3138592144 cites W2954978134 @default.
- W3138592144 cites W2957095584 @default.
- W3138592144 cites W3091620507 @default.
- W3138592144 cites W4220838981 @default.
- W3138592144 cites W4234122891 @default.
- W3138592144 cites W4238083723 @default.
- W3138592144 cites W4243412374 @default.
- W3138592144 cites W4254512865 @default.
- W3138592144 cites W4255006224 @default.
- W3138592144 doi "https://doi.org/10.1007/978-3-030-71500-7_14" @default.
- W3138592144 hasPubMedCentralId "https://www.ncbi.nlm.nih.gov/pmc/articles/7978860" @default.
- W3138592144 hasPublicationYear "2021" @default.
- W3138592144 type Work @default.
- W3138592144 sameAs 3138592144 @default.
- W3138592144 citedByCount "2" @default.
- W3138592144 countsByYear W31385921442021 @default.
- W3138592144 countsByYear W31385921442023 @default.
- W3138592144 crossrefType "book-chapter" @default.
- W3138592144 hasAuthorship W3138592144A5058805862 @default.
- W3138592144 hasAuthorship W3138592144A5068911982 @default.
- W3138592144 hasBestOaLocation W31385921441 @default.
- W3138592144 hasConcept C111564260 @default.
- W3138592144 hasConcept C160145156 @default.
- W3138592144 hasConcept C169590947 @default.
- W3138592144 hasConcept C184337299 @default.
- W3138592144 hasConcept C199360897 @default.
- W3138592144 hasConcept C2777062904 @default.
- W3138592144 hasConcept C2777904410 @default.
- W3138592144 hasConcept C29331672 @default.
- W3138592144 hasConcept C41008148 @default.
- W3138592144 hasConcept C55166926 @default.
- W3138592144 hasConcept C55439883 @default.
- W3138592144 hasConcept C68366613 @default.
- W3138592144 hasConcept C9957790 @default.
- W3138592144 hasConceptScore W3138592144C111564260 @default.
- W3138592144 hasConceptScore W3138592144C160145156 @default.
- W3138592144 hasConceptScore W3138592144C169590947 @default.
- W3138592144 hasConceptScore W3138592144C184337299 @default.
- W3138592144 hasConceptScore W3138592144C199360897 @default.
- W3138592144 hasConceptScore W3138592144C2777062904 @default.
- W3138592144 hasConceptScore W3138592144C2777904410 @default.
- W3138592144 hasConceptScore W3138592144C29331672 @default.
- W3138592144 hasConceptScore W3138592144C41008148 @default.
- W3138592144 hasConceptScore W3138592144C55166926 @default.
- W3138592144 hasConceptScore W3138592144C55439883 @default.
- W3138592144 hasConceptScore W3138592144C68366613 @default.
- W3138592144 hasConceptScore W3138592144C9957790 @default.
- W3138592144 hasLocation W31385921441 @default.
- W3138592144 hasLocation W31385921442 @default.
- W3138592144 hasOpenAccess W3138592144 @default.
- W3138592144 hasPrimaryLocation W31385921441 @default.
- W3138592144 hasRelatedWork W2066503869 @default.
- W3138592144 hasRelatedWork W2094199724 @default.
- W3138592144 hasRelatedWork W2169584677 @default.
- W3138592144 hasRelatedWork W2354057234 @default.
- W3138592144 hasRelatedWork W2749133591 @default.
- W3138592144 hasRelatedWork W3000589862 @default.
- W3138592144 hasRelatedWork W4232954277 @default.
- W3138592144 hasRelatedWork W4240253816 @default.
- W3138592144 hasRelatedWork W4246454774 @default.
- W3138592144 hasRelatedWork W2901567138 @default.
- W3138592144 isParatext "false" @default.
- W3138592144 isRetracted "false" @default.
- W3138592144 magId "3138592144" @default.
- W3138592144 workType "book-chapter" @default.