Stranger: An Automata-Based String Analysis Tool for PHP
Lecture notes in computer science2010pp. 154–157
Citations Over TimeTop 10% of 2010 papers
Related Papers
- → As Cheap as Possible: Effcient Cost-Optimal Reachability for Priced Timed Automata(2001)140 cited
- → Not All Bugs Are Created Equal, But Robust Reachability Can Tell the Difference(2021)10 cited
- → Removing Irrelevant Atomic Formulas for Checking Timed Automata Efficiently(2004)11 cited
- Using Regular Expressions for Data Management in Stata(2007)