Grammatical Inference in Software Engineering: An Overview of the State of the Art
No abstract available.
DOI 10.1007/978-3-642-36089-3_12
Related papers
- Inferring Grammatical Summaries of String Values APLAS 2014
- State of the Art in Software Verification and Witness Validation: SV-COMP 2024 TACAS 2024
- Competition on Software Verification and Witness Validation: SV-COMP 2023 TACAS 2023
- Progress on Software Verification: SV-COMP 2022 TACAS 2022
- An Overview of Modular Smalltalk OOPSLA 1988
- Micropatterns in Grammars SLE 2013
- Software Verification with PDR: An Implementation of the State of the Art TACAS 2020
- The JavaScriptCore virtual machine (invited talk) DLS 2017