Matches in SemOpenAlex for { <https://semopenalex.org/work/W3047993225> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W3047993225 abstract "Testing is an integral part of the development of compilers and other language processors. To automatically create large sets of test programs, random program generators, or fuzzers, have emerged. Unfortunately, existing approaches are either language-specific (and thus require a rewrite for each language) or may generate programs that violate rules of the respective programming language (which limits their usefulness). This work introduces *Smith, a language-agnostic framework for the generation of valid, compilable test programs. It takes as input an abstract attribute grammar that specifies the syntactic and semantic rules of a programming language. It then creates test programs that satisfy all these rules. By aggressively pruning the search space and keeping the construction as local as possible, *Smith can generate huge, complex test programs in short time. We present four case studies covering four real-world programming languages (C, Lua, SQL, and SMT-LIB 2) to show that *Smith is both efficient and effective, while being flexible enough to support programming languages that differ considerably. We found bugs in all four case studies. For example, *Smith detected 165 different crashes in older versions of GCC and LLVM. *Smith and the language grammars are available online." @default.
- W3047993225 created "2020-08-13" @default.
- W3047993225 creator A5002299736 @default.
- W3047993225 creator A5006774910 @default.
- W3047993225 creator A5051721920 @default.
- W3047993225 date "2020-10-01" @default.
- W3047993225 modified "2023-09-26" @default.
- W3047993225 title "Language-Agnostic Generation of Compilable Test Programs" @default.
- W3047993225 cites W1128447031 @default.
- W3047993225 cites W190884830 @default.
- W3047993225 cites W1964071625 @default.
- W3047993225 cites W1966021031 @default.
- W3047993225 cites W2006731094 @default.
- W3047993225 cites W2023035194 @default.
- W3047993225 cites W2065793351 @default.
- W3047993225 cites W2071952624 @default.
- W3047993225 cites W2094771270 @default.
- W3047993225 cites W2096698236 @default.
- W3047993225 cites W2098681203 @default.
- W3047993225 cites W2121217767 @default.
- W3047993225 cites W2138284121 @default.
- W3047993225 cites W2155877593 @default.
- W3047993225 cites W2159933174 @default.
- W3047993225 cites W2170224888 @default.
- W3047993225 cites W2278821771 @default.
- W3047993225 cites W2390518826 @default.
- W3047993225 cites W2506015293 @default.
- W3047993225 cites W2519952770 @default.
- W3047993225 cites W2530895108 @default.
- W3047993225 cites W2759550170 @default.
- W3047993225 cites W2761359361 @default.
- W3047993225 cites W2767468415 @default.
- W3047993225 cites W2788197406 @default.
- W3047993225 cites W2794859654 @default.
- W3047993225 cites W2806746626 @default.
- W3047993225 cites W2808279976 @default.
- W3047993225 cites W2947109320 @default.
- W3047993225 cites W4220838981 @default.
- W3047993225 cites W4238083723 @default.
- W3047993225 cites W4240341008 @default.
- W3047993225 cites W4243412374 @default.
- W3047993225 cites W4246691913 @default.
- W3047993225 doi "https://doi.org/10.1109/icst46399.2020.00015" @default.
- W3047993225 hasPublicationYear "2020" @default.
- W3047993225 type Work @default.
- W3047993225 sameAs 3047993225 @default.
- W3047993225 citedByCount "3" @default.
- W3047993225 countsByYear W30479932252020 @default.
- W3047993225 countsByYear W30479932252021 @default.
- W3047993225 countsByYear W30479932252023 @default.
- W3047993225 crossrefType "proceedings-article" @default.
- W3047993225 hasAuthorship W3047993225A5002299736 @default.
- W3047993225 hasAuthorship W3047993225A5006774910 @default.
- W3047993225 hasAuthorship W3047993225A5051721920 @default.
- W3047993225 hasConcept C151730666 @default.
- W3047993225 hasConcept C199360897 @default.
- W3047993225 hasConcept C204321447 @default.
- W3047993225 hasConcept C2777267654 @default.
- W3047993225 hasConcept C41008148 @default.
- W3047993225 hasConcept C86803240 @default.
- W3047993225 hasConceptScore W3047993225C151730666 @default.
- W3047993225 hasConceptScore W3047993225C199360897 @default.
- W3047993225 hasConceptScore W3047993225C204321447 @default.
- W3047993225 hasConceptScore W3047993225C2777267654 @default.
- W3047993225 hasConceptScore W3047993225C41008148 @default.
- W3047993225 hasConceptScore W3047993225C86803240 @default.
- W3047993225 hasLocation W30479932251 @default.
- W3047993225 hasOpenAccess W3047993225 @default.
- W3047993225 hasPrimaryLocation W30479932251 @default.
- W3047993225 hasRelatedWork W1527862632 @default.
- W3047993225 hasRelatedWork W2112962394 @default.
- W3047993225 hasRelatedWork W2118300983 @default.
- W3047993225 hasRelatedWork W2135396778 @default.
- W3047993225 hasRelatedWork W2382501300 @default.
- W3047993225 hasRelatedWork W2740990710 @default.
- W3047993225 hasRelatedWork W3137189469 @default.
- W3047993225 hasRelatedWork W3162240892 @default.
- W3047993225 hasRelatedWork W4235530921 @default.
- W3047993225 hasRelatedWork W4243252198 @default.
- W3047993225 isParatext "false" @default.
- W3047993225 isRetracted "false" @default.
- W3047993225 magId "3047993225" @default.
- W3047993225 workType "article" @default.