Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II > StringFuzz: A Fuzzer for String Solvers
Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II |
Hana Chockler; Georg Weissenbacher
Springer International Publishing
Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
StringFuzz: A Fuzzer for String Solvers
Authors

Dmitry Blotsky; Federico Mora; Murphy Berzish; Yunhui Zheng; Ifaz Kabir; Vijay Ganesh

ARI Id

1665131975589_4968956

Access

Open/Free Access

Pages

45-51

DOI

10.1007/978-3-319-96142-2_6

PDF URL

https://link.springer.com/content/pdf/10.1007/978-3-319-96142-2_6?pdf=chapter%20toc

Chapter URL

https://rd.springer.com/chapter/10.1007/978-3-319-96142-2_6

Table of Contents of Book
Showing 1 to 20 of 39 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
I-XX
Front Matter
1-1
Let this Graph Be Your Witness!
Hannah Arndt; Christina Jansen; Joost-Pieter Katoen; Christoph Matheja; Thomas Noll
3-11
MaxSMT-Based Type Inference for Python 3
Mostafa Hassan; Caterina Urban; Marco Eilers; Peter Müller
12-19
The JKind Model Checker
Andrew Gacek; John Backes; Mike Whalen; Lucas Wagner; Elaheh Ghassabani
20-27
The DEEPSEC Prover
Vincent Cheval; Steve Kremer; Itsaka Rakotonirina
28-36
SimpleCAR: An Efficient Bug-Finding Tool Based on Approximate Reachability
Jianwen Li; Rohit Dureja; Geguang Pu; Kristin Yvonne Rozier; Moshe Y. Vardi
37-44
StringFuzz: A Fuzzer for String Solvers
Dmitry Blotsky; Federico Mora; Murphy Berzish; Yunhui Zheng; Ifaz Kabir; Vijay Ganesh
45-51
Front Matter
53-53
Permission Inference for Array Programs
Jérôme Dohrau; Alexander J. Summers; Caterina Urban; Severin Münger; Peter Müller
55-74
Program Analysis Is Harder Than Verification: A Computability Perspective
Patrick Cousot; Roberto Giacobazzi; Francesco Ranzato
75-95
Front Matter
97-97
Automata vs Linear-Programming Discounted-Sum Inclusion
Suguman Bansal; Swarat Chaudhuri; Moshe Y. Vardi
99-116
Model Checking Indistinguishability of Randomized Security Protocols
Matthew S. Bauer; Rohit Chadha; A. Prasad Sistla; Mahesh Viswanathan
117-135
Lazy Self-composition for Security Verification
Weikun Yang; Yakir Vizel; Pramod Subramanyan; Aarti Gupta; Sharad Malik
136-156
SCInfer: Refinement-Based Verification of Software Countermeasures Against Side-Channel Attacks
Jun Zhang; Pengfei Gao; Fu Song; Chao Wang
157-177
Symbolic Algorithms for Graphs and Markov Decision Processes with Fairness Objectives
Krishnendu Chatterjee; Monika Henzinger; Veronika Loitzenbauer; Simin Oraee; Viktor Toman
178-197
Attracting Tangles to Solve Parity Games
Tom van Dijk
198-215
Front Matter
217-217
Delta-Decision Procedures for Exists-Forall Problems over the Reals
Soonho Kong; Armando Solar-Lezama; Sicun Gao
219-235
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 39 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings