Matches in SemOpenAlex for { <https://semopenalex.org/work/W4286331384> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W4286331384 abstract "The specification of program inputs is a requirement for many software engineering tasks, but often does not exist or is out of date. To tackle this problem, software engineers may apply program analysis techniques to extract parts of a specification from the source code that processes the program input. Today there are analysis techniques for the extraction of constraints (mathematical formulas) for individual program inputs (e.g. function parameters) as well as emerging techniques for inferring context-free grammars that specify the syntax of program input strings. However, such techniques focus on a single aspect (e.g., constraints or grammars) of the specification only and neglect the other one. We propose to integrate such analysis techniques by extending existing approaches for mining input grammars with the extraction of constraints. Constraints are integrated with a grammar in the form of attributes and context constraints on grammar symbols, resulting in an attribute grammar as specification format. To achieve this goal, we choose the analysis method dynamic symbolic execution (DSE), which is already an established technique for the extraction of constraints and beneficial for grammar mining (e.g., through automatic input generation) as well. Thus, DSE not only covers both aspects but also—as a single analysis method—should facilitate the integration of these two aspects. In this paper, we describe the basic idea of the proposed integration and report the first results on DSE-based grammar extraction." @default.
- W4286331384 created "2022-07-21" @default.
- W4286331384 creator A5017091104 @default.
- W4286331384 creator A5055193081 @default.
- W4286331384 creator A5064162245 @default.
- W4286331384 date "2022-03-01" @default.
- W4286331384 modified "2023-09-27" @default.
- W4286331384 title "Towards Attribute Grammar Mining by Symbolic Execution" @default.
- W4286331384 cites W1964071625 @default.
- W4286331384 cites W2015903771 @default.
- W4286331384 cites W2080666934 @default.
- W4286331384 cites W2101512909 @default.
- W4286331384 cites W2110908283 @default.
- W4286331384 cites W2124119195 @default.
- W4286331384 cites W2514578992 @default.
- W4286331384 cites W2959616428 @default.
- W4286331384 cites W2963723316 @default.
- W4286331384 cites W3101498506 @default.
- W4286331384 cites W3130355461 @default.
- W4286331384 cites W3217032057 @default.
- W4286331384 doi "https://doi.org/10.1109/saner53432.2022.00100" @default.
- W4286331384 hasPublicationYear "2022" @default.
- W4286331384 type Work @default.
- W4286331384 citedByCount "2" @default.
- W4286331384 countsByYear W42863313842022 @default.
- W4286331384 countsByYear W42863313842023 @default.
- W4286331384 crossrefType "proceedings-article" @default.
- W4286331384 hasAuthorship W4286331384A5017091104 @default.
- W4286331384 hasAuthorship W4286331384A5055193081 @default.
- W4286331384 hasAuthorship W4286331384A5064162245 @default.
- W4286331384 hasConcept C111065885 @default.
- W4286331384 hasConcept C138885662 @default.
- W4286331384 hasConcept C151730666 @default.
- W4286331384 hasConcept C154945302 @default.
- W4286331384 hasConcept C199360897 @default.
- W4286331384 hasConcept C204321447 @default.
- W4286331384 hasConcept C26022165 @default.
- W4286331384 hasConcept C2777904410 @default.
- W4286331384 hasConcept C2779343474 @default.
- W4286331384 hasConcept C41008148 @default.
- W4286331384 hasConcept C41895202 @default.
- W4286331384 hasConcept C53893814 @default.
- W4286331384 hasConcept C60048249 @default.
- W4286331384 hasConcept C67621940 @default.
- W4286331384 hasConcept C86803240 @default.
- W4286331384 hasConcept C97212296 @default.
- W4286331384 hasConceptScore W4286331384C111065885 @default.
- W4286331384 hasConceptScore W4286331384C138885662 @default.
- W4286331384 hasConceptScore W4286331384C151730666 @default.
- W4286331384 hasConceptScore W4286331384C154945302 @default.
- W4286331384 hasConceptScore W4286331384C199360897 @default.
- W4286331384 hasConceptScore W4286331384C204321447 @default.
- W4286331384 hasConceptScore W4286331384C26022165 @default.
- W4286331384 hasConceptScore W4286331384C2777904410 @default.
- W4286331384 hasConceptScore W4286331384C2779343474 @default.
- W4286331384 hasConceptScore W4286331384C41008148 @default.
- W4286331384 hasConceptScore W4286331384C41895202 @default.
- W4286331384 hasConceptScore W4286331384C53893814 @default.
- W4286331384 hasConceptScore W4286331384C60048249 @default.
- W4286331384 hasConceptScore W4286331384C67621940 @default.
- W4286331384 hasConceptScore W4286331384C86803240 @default.
- W4286331384 hasConceptScore W4286331384C97212296 @default.
- W4286331384 hasLocation W42863313841 @default.
- W4286331384 hasOpenAccess W4286331384 @default.
- W4286331384 hasPrimaryLocation W42863313841 @default.
- W4286331384 hasRelatedWork W131152816 @default.
- W4286331384 hasRelatedWork W1537895043 @default.
- W4286331384 hasRelatedWork W1745349898 @default.
- W4286331384 hasRelatedWork W1997090502 @default.
- W4286331384 hasRelatedWork W1999456664 @default.
- W4286331384 hasRelatedWork W2106851982 @default.
- W4286331384 hasRelatedWork W2171571032 @default.
- W4286331384 hasRelatedWork W2896517504 @default.
- W4286331384 hasRelatedWork W3107474891 @default.
- W4286331384 hasRelatedWork W3147354785 @default.
- W4286331384 isParatext "false" @default.
- W4286331384 isRetracted "false" @default.
- W4286331384 workType "article" @default.