Protocol Inference Using Static Path Profiles

DOI10.1007/978-3-540-69166-2_6MaRDI QIDQ3522063zbMATH OpenOpenAlexFDO

Authors Koushik Sen, Suresh Jagannathan, Murali Ramanathan, Ananth Grama

Publication date 28 August 2008

Published in Static Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-69166-2_6

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Mining specifications
• Maximal specification synthesis
• Specification inference using context-free language reachability
• Inferring program specifications in polynomial-time
• Symbolic automata for static specification mining

Cited in

(2)

• marga
• Mining specifications

Describes a project that uses

Uses Software

• CUTE
• SPIN
• Perracotta

This page was built for publication: Protocol Inference Using Static Path Profiles

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3522063)