Author of the publication

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

Test input generation using separati logic.. ACM SIGSOFT Softw. Eng. Notes, 43 (4): 55 (2018)Automatic Data Structure Repair usingSeparation Logic., , , and . ACM SIGSOFT Softw. Eng. Notes, 43 (4): 66 (2018)Analyzing the CMake Build System., , and . ICSE (SEIP), page 27-28. IEEE, (2022)Chapter Six - Symbolic Execution and Recent Applications to Worst-Case Execution, Load Testing, and Security Analysis., , , and . Advances in Computers, (2019)The Java Pathfinder Workshop 2019., , , , , , , , , and 28 other author(s). ACM SIGSOFT Softw. Eng. Notes, 45 (2): 20-22 (2020)Concolic Testing Heap-Manipulating Programs., , , and . FM, volume 11800 of Lecture Notes in Computer Science, page 442-461. Springer, (2019)The Challenges of Shift Left Static Analysis., , and . ICSE-SEIP, page 340-342. IEEE, (2023)Enhancing Symbolic Execution of Heap-Based Programs with Separation Logic for Test Input Generation., , , , and . ATVA, volume 11781 of Lecture Notes in Computer Science, page 209-227. Springer, (2019)