ICSE 2024 (series) / KLEE 2024 (series) / KLEE 2024 /
TracerX - Pruning Dynamic Symbolic Execution with Weakest Precondition Interpolation
Mon 15 Apr 2024 12:15 - 12:20 at Maria Helena Vieira da Silva - State Merging & Posters Chair(s): Alessandro Orso
Mon 15 AprDisplayed time zone: Lisbon change
Mon 15 Apr
Displayed time zone: Lisbon change
11:00 - 12:30 | State Merging & PostersKLEE at Maria Helena Vieira da Silva Chair(s): Alessandro Orso Georgia Institute of Technology | ||
11:00 22mTalk | State Merging for Concolic Testing of Event-driven Applications KLEE | ||
11:22 22mTalk | State Merging with Quantifiers in Symbolic Execution KLEE P: David Trabish Tel Aviv University, Noam Rinetzky Tel Aviv University, Sharon Shoham Tel Aviv University, Vaibhav Sharma Amazon DOI | ||
11:50 5mPoster | FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checking of Type-safe Pointers KLEE P: Haoxin Tu Singapore Management University, Singapore, Lingxiao Jiang Singapore Management University, Xuhua Ding Singapore Management University, He Jiang Dalian University of Technology | ||
11:55 5mPoster | Input Grammar Oriented Symbolic Execution KLEE Ke Ma , Yunlai Luo National University of Defense Technology, P: Weijiang Hong National University of Defense Technology, Changsha, China, Zhenbang Chen School of Computer, National University of Defense Technology, China, Yufeng Zhang Hunan University, Ji Wang School of Computer, National University of Defense Technology, China | ||
12:00 5mPoster | Mixed Fixed-point and Floating-point Symbolic Execution KLEE P: Thom Hughes Imperial College London, Daniel Schemmel Imperial College London, Martin Nowack Imperial College London, Cristian Cadar Imperial College London | ||
12:05 5mPoster | SC-MCC Test Case Generation using Dynamic Symbolic Execution Engines KLEE Golla Monika Rani , P: Sangharatna Godboley National Institute of Technology Warangal, Joxan Jaffar National University of Singapore, Rasool Maghareh Huawei | ||
12:10 5mPoster | Towards Complete Fuzzing with KLEE KLEE Kanika Gupta National Institute of Technology, Warangal, P: Sangharatna Godboley National Institute of Technology Warangal | ||
12:15 5mPoster | TracerX - Pruning Dynamic Symbolic Execution with Weakest Precondition Interpolation KLEE P: Arpita Dutta National University of Singapore, Rasool Maghareh Huawei, Joxan Jaffar National University of Singapore | ||
12:20 5mTalk | Exploring Complexity Estimation with Symbolic Execution and Large Language Models KLEE Adrians Skapars University of Manchester, Youcheng Sun The University of Manchester, Yannic Noller Singapore University of Technology and Design, P: Corina Pasareanu | ||