Accepted Contributions Expected to Be Presented at the Workshop
Poster: SIFT: A Multithreading Extension to KLEE
Tuba YavuzToward Automatic Test Synthesis for Performance Portable Programs
Keita Teranishi, Shyamali Mulkherjee, Richard Rutledge, Samuel Pollard, Nicolas Morales, Noah Evans, Alessandro Orso and Vivek SarkarA Bounded Symbolic-Size Model for Symbolic Execution
David Trabish, Noam Rinetzky and Shachar ItzhakyConcolic Program Repair
Ridwan Shariffdeen, Yannic Noller, Lars Grunske and Abhik RoychoudhuryComplex Test Input Generation in KLEE
Alexey Babushkin, Aleksandr Misonizhnik and Dmitry MordvinovToward Optimal MC/DC Test Case Generation
Sangharatna Godboley, Joxan Jaffer, Rasool Maghareh and Arpita DuttaSymbolic Execution for RISC-V Embedded Software Using SystemC Peripheral Models
Sören Tempel, Vladimir Herdt and Rolf Drechsler(Auto)Chopper in the Wild
Martin Nowack, Jordy Ruiz, Ahmed Zaki and Cristian CadarPoster: Automated Patch Transplantation
Ridwan Shariffdeen, Shin Hwei Tan, Mingyuan Gao and Abhik RoychoudhuryPoster: Address-Aware Query Caching for Symbolic Execution
David Trabish, Noam Rinetzky and Shachar ItzhakyAutomated Program Analysis: Revisiting Precondition Inference through Constraint Acquisition
Grégoire Menguy, Sebastien Bardin, Nadjib Lazaar and Arnaud GotliebPoster: UTBot Simplifies Auto Test Generation
Vladislav Kalugin, Pavel Iatchenii, Samat Gaynutdinov, Saveliy Grigoryev, Svetlana Shmidt, Alexey Utkin, Dmitry Ivanov, Aleksei Pleshakov, Vadim Volodin, Elena Ilina, Pavel Ponomarev and Konstantin RybkinPruning the Recursive States in KLEE
Aleksandr Misonizhnik, Alexey Babushkin and Dmitry MordvinovControlling Side Effects in Program Repair using Symbolic Execution
Nikhil Parasaram, Earl Barr and Sergey MechtaevPoster: A Tight Integration of Symbolic Execution and Fuzzing
Sebastien Bardin, Michaël Marcozzi and Yaelle VincontPoster: Symbolic Execution Projects from the Software Reliability Group
Cristian Cadar, Frank Busse, Martin Nowack, Jordy Ruiz, Daniel Schemmel and Ahmed ZakiImproving Floating Point Symbolic Execution Coverage with Fixed Point Approximations
Richard Rutledge, Alessandro Orso and Keita TeranishiSymbolic Execution the Swiss-Knife of the Reverse Engineer Toolbox
Robin David, Christian Heitman and Richard Abou ChaayaPoster: Enabling Continuous Large Scale Software Engineering Experimentation in the Cloud
Jonathan Bell, Christopher Timperley, Michael Hilton and Lauren HerckisPending Constraints in Symbolic Execution for Better Exploration and Seeding
Timotej Kapus, Frank Busse and Cristian CadarTesting Debug Info of Optimised Programs
J. Ryan Stinnett and Stephen KellQuantum Accelerated Symbolic Execution
Christoph Kirsch and Stefanie Muroya LeiLearning to Explore Paths for Symbolic Execution
Jingxuan He, Gishor Sivanrupan, Petar Tsankov and Martin VechevSymDefFix - Sound Automatic Repair Using Symbolic Execution
Tareq Mohammed Nazir and Martin PinzgerPoster: Extending KLEE’s Environment Model for Network Applications
Jeroen Robben and Mathy VanhoefApplying Symbolic Execution to Test Implementations of a Network Protocol Against its Specification
Hooman Asadian, Paul Fiterau-Brostean, Bengt Jonsson and Kostis SagonasFuzzing Symbolic Expressions
Emilio CoppaCONFETTI: Amplifying Concolic Guidance for Fuzzers
James Kucuka, Luís Pina, Paul Ammann and Jonathan BellFinding Real Bugs in Big Programs with Incorrectness Logic
Quang Loc Le, Azalea Raad, Jules Villard, Josh Berdine, Derek Dreyer and Peter W. O’HearnA Deterministic Memory Allocator for Dynamic Symbolic Execution
Daniel Schemmel, Julian Büning, Frank Busse, Martin Nowack and Cristian CadarPoster: Inline Assembly Support
Mikhail Petrochenkov and Dmitry IvanovPoster: Detection of Undefined Behavior Using KLEE
Pavel IatcheniiAnalyzing System Software Components Using API Model Guided Symbolic Execution
Tuba Yavuz and Ken Yihang BaiPoster: Combining Static Analysis Error Traces with Dynamic Symbolic Execution
Frank Busse, Pritam Gharat, Cristian Cadar and Alastair F. Donaldson