Author of the publication

Testing heap-based programs with Java StarFinder.

, , , , and . ICSE (Companion Volume), page 268-269. ACM, (2018)

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

Multi-run Side-Channel Analysis Using Symbolic Execution and Max-SMT., , and . CSF, page 387-400. IEEE Computer Society, (2016)Model Counting Modulo Theories.. CoRR, (2015)Concolic Testing Heap-Manipulating Programs., , , and . FM, volume 11800 of Lecture Notes in Computer Science, page 442-461. Springer, (2019)Chapter Six - Symbolic Execution and Recent Applications to Worst-Case Execution, Load Testing, and Security Analysis., , , and . Advances in Computers, (2019)Symbolic Execution as DPLL Modulo Theories.. ICCSW, volume 43 of OASIcs, page 58-65. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2014)Self-composition by Symbolic Execution.. ICCSW, volume 35 of OASIcs, page 95-102. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, (2013)Test input generation using separati logic.. ACM SIGSOFT Software Engineering Notes, 43 (4): 55 (2018)Automatic Data Structure Repair usingSeparation Logic., , , and . ACM SIGSOFT Software Engineering Notes, 43 (4): 66 (2018)Symbolic Side-Channel Analysis for Probabilistic Programs., , , , and . CSF, page 313-327. IEEE Computer Society, (2018)Synthesis of Adaptive Side-Channel Attacks., , , , and . CSF, page 328-342. IEEE Computer Society, (2017)