1. Specification mining: New formalisms,
algorithms and applications;Li,2013
2. Formal requirements elicitation with
FRET;Giannakopoulou;International conference on requirements
engineering: Foundation for software quality, REFSQ,2020
3. ARSENAL: Automatic requirements specification
extraction from natural language;Ghosh;NASA formal methods, NFM,2016
4. The complexity of learning linear temporal
formulas from examples;Fijalkow;International conference on grammatical
inference, ICGI,2021
5. Learning linear temporal
properties;Neider;Formal methods in computer aided design,
FMCAD,2018