Rex

MaRDI QIDQ23824swMATHFDO

Official website http://ieeexplore.ieee.org/xpl/login.jsp?tp=&arnumber=5477051

Cited in

(20)

• AUTOMATE
• Grail
• MONA
• GR(1)*: GR(1) specifications extended with existential guarantees
• Completeness of string analysis for dynamic languages
• A symbolic decision procedure for symbolic alternating finite automata
• Symbolic automatic relations and their applications to SMT and CHC solving
• VATA
• MTBDD
• Symbolic automata
• From sequential extended regular expressions to NFA with symbolic labels
• An Evaluation of Automata Algorithms for String Analysis
• Phantm
• SFADiff
• Symbolic tree automata
• Query learning algorithm for residual symbolic finite automata
• Improving Symbolic Automata Learning with Concolic Execution
• SemMT
• SoftRegex
• SemRegex

This page was built for software: Rex