ACM Transactions on Software Engineering and Methodology FLAT: Formal Languages as Types
Automated Software Engineering Conference (ASE)
BASHIRI: Learning Failure Oracles from Execution Features
ACM Transactions on Software Engineering and Methodology Inferring Input Grammars from Code with Symbolic Parsing
ACM Transactions on Software Engineering and Methodology Learning Program Behavioral Models from Synthesized Input-Output Pairs
International Symposium on Software Testing and Analysis (ISSTA)
XAVIER: Grammar-Based Testing for XML Injection Attacks