swMATH12087MaRDI QIDQ24021FDOQ24021
Author name not available (Why is that?)
Official website: http://dl.acm.org/citation.cfm?id=1134325
Cited In (12)
- Protocol Inference Using Static Path Profiles
- Mining quantified temporal rules: formalism, algorithms, and evaluation
- Symbolic automata for representing big code
- marga
- ADABU
- SMArTIC
- Merlin
- F4F
- PPTLMiner
- Texada
- Automated inference of library specifications for source-sink property verification
- Temporal logic specification mining of programs
This page was built for software: Perracotta
