Author of the publication

A solver for a theory of string and bit-vectors.

, , , and . ICSE (Companion Volume), page 124-126. IEEE Computer Society, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

StringFuzz: A Fuzzer for String Solvers., , , , , and . CAV (2), volume 10982 of Lecture Notes in Computer Science, page 45-51. Springer, (2018)Z3str3: A string solver with theory-aware heuristics., , and . FMCAD, page 55-59. IEEE, (2017)Real-Time FPGA Simulation of Surrogate Models of Large Spiking Networks., , and . ICANN (1), volume 9886 of Lecture Notes in Computer Science, page 349-356. Springer, (2016)Z3str4: A Solver for Theories over Strings.. University of Waterloo, Ontario, Canada, (2021)base-search.net (ftunivwaterloo:oai:uwspace.uwaterloo.ca:10012/17102).Z3str4: A Multi-armed String Solver., , , , and . FM, volume 13047 of Lecture Notes in Computer Science, page 389-406. Springer, (2021)String Theories Involving Regular Membership Predicates: From Practice to Theory and Back., , , , , , and . WORDS, volume 12847 of Lecture Notes in Computer Science, page 50-64. Springer, (2021)An SMT Solver for Regular Expressions and Linear Arithmetic over String Length., , , , , , and . CAV (2), volume 12760 of Lecture Notes in Computer Science, page 289-312. Springer, (2021)A solver for a theory of string and bit-vectors., , , and . ICSE (Companion Volume), page 124-126. IEEE Computer Society, (2017)