ACM Transactions on Software Engineering and Methodology FLAT: Formal Languages as Types
Automated Software Engineering Conference (ASE)
BASHIRI: Learning Failure Oracles from Execution Features
Automated Software Engineering Conference (ASE)
The Fault in our Stats
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