Twinning automata and regular expressions for string static analysis (Q2234078): Difference between revisions

@@ Property / OpenAlex ID @@
+W3126151140
@@ Property / OpenAlex ID: W3126151140 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.02715
@@ Property / arXiv ID: 2006.02715 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer aided verification. 26th international conference, CAV 2014, held as part of the Vienna summer of logic, VSL 2014, Vienna, Austria, July 18--22, 2014. Proceedings
+Normal rank
@@ Property / cites work @@
+Chain-Free String Constraints
@@ Property / cites work: Chain-Free String Constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Dashed strings for string constraint solving
@@ Property / cites work: Dashed strings for string constraint solving / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract domains for type juggling
@@ Property / cites work: Abstract domains for type juggling / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness of abstract domains for string analysis of JavaScript programs
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+A Practical String Analyzer by the Widening Approach
+Normal rank
@@ Property / cites work @@
+Q4813388
@@ Property / cites work: Q4813388 / rank @@
+Normal rank
@@ Property / cites work @@
+Widening and narrowing operators for abstract interpretation
+Normal rank
@@ Property / cites work @@
+Abstract Interpretation Frameworks
@@ Property / cites work: Abstract Interpretation Frameworks / rank @@
+Normal rank
@@ Property / cites work @@
+Minimization of symbolic automata
@@ Property / cites work: Minimization of symbolic automata / rank @@
+Normal rank
@@ Property / cites work @@
+Making abstract interpretations complete
@@ Property / cites work: Making abstract interpretations complete / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract Program Slicing
@@ Property / cites work: Abstract Program Slicing / rank @@
+Normal rank
@@ Property / cites work @@
+A parametric abstract domain for lattice-valued regular expressions
+Normal rank
@@ Property / cites work @@
+Abstract Symbolic Automata
@@ Property / cites work: Abstract Symbolic Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Applications of Symbolic Finite Automata
@@ Property / cites work: Applications of Symbolic Finite Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Automata-based symbolic string analysis for vulnerability detection
+Normal rank