The following pages link to Perracotta (Q24021):
Displaying 5 items.
- Symbolic automata for representing big code (Q300407) (← links)
- Mining quantified temporal rules: formalism, algorithms, and evaluation (Q436396) (← links)
- Temporal logic specification mining of programs (Q2220776) (← links)
- Automated Inference of Library Specifications for Source-Sink Property Verification (Q2937794) (← links)
- Protocol Inference Using Static Path Profiles (Q3522063) (← links)