Perracotta
From MaRDI portal
Cited in
(12)- Texada
- Temporal logic specification mining of programs
- marga
- ADABU
- SMArTIC
- Automated inference of library specifications for source-sink property verification
- Symbolic automata for representing big code
- Merlin
- Protocol Inference Using Static Path Profiles
- F4F
- Mining quantified temporal rules: formalism, algorithms, and evaluation
- PPTLMiner
This page was built for software: Perracotta
