Search Results - Testing and Debugging— Symbolic execution

Chopped symbolic execution by Trabish, David, Mattavelli, Andrea, Rinetzky, Noam, Cadar, Cristian

“…Symbolic execution is a powerful program analysis technique that systematically explores multiple program paths…”
Get full text

Eliminating Path Redundancy via Postconditioned Symbolic Execution by Yi, Qiuping, Yang, Zijiang, Guo, Shengjian, Wang, Chao, Liu, Jian, Zhao, Chen

“…Symbolic execution is emerging as a powerful technique for generating test inputs systematically to achieve exhaustive path coverage of a bounded depth…”
Get full text

Natural Symbolic Execution-Based Testing for Big Data Analytics by Wu, Yaoxuan, Humayun, Ahmad, Gulzar, Muhammad Ali, Kim, Miryung

“…Symbolic execution is an automated test input generation technique that models individual program paths as logical constraints…”
Get full text

Android Testing via Synthetic Symbolic Execution by Gao, Xiang, Tan, Shin Hwei, Dong, Zhen, Roychoudhury, Abhik

“…Symbolic execution of Android applications is challenging as it involves either building a customized VM for Android or modeling the Android libraries…”
Get full text

Angelic debugging by Chandra, Satish, Torlak, Emina, Barman, Shaon, Bodik, Rastislav

“… Our symbolic method approximates an ideal approach to fixing bugs mechanically, which is to search the space of all edits to the program for one that repairs the failing test without breaking any passing test…”
Get full text

Concrete Constraint Guided Symbolic Execution by Sun, Yue, Yang, Guowei, Lv, Shichao, Li, Zhi, Sun, Limin

“…Symbolic execution is a popular program analysis technique. It systematically explores all feasible paths of a program but its scalability is largely limited…”
Get full text

Compatible Branch Coverage Driven Symbolic Execution for Efficient Bug Finding by Yi, Qiuping, Yu, Yifan, Yang, Guowei

“…Symbolic execution is a powerful technique for bug finding by generating test inputs to systematically explore all feasible paths within a given threshold…”
Get full text

Guiding Dynamic Symbolic Execution toward Unverified Program Executions by Christakis, Maria, Muller, Peter, Wustholz, Valentin

“…Most techniques to detect program errors, such as testing, code reviews, and static program analysis, do not fully verify all possible executions of a program…”
Get full text

FeatMaker: Automated Feature Engineering for Search Strategy of Symbolic Execution by Yoon, Jaehan, Cha, Sooyoung

“…We present FeatMaker, a novel technique that automatically generates state features to enhance the search strategy of symbolic execution…”
Get full text

Memory models in symbolic execution: key ideas and new thoughts by Borzacchiello, Luca, Coppa, Emilio, Cono D'Elia, Daniele, Demetrescu, Camil

“…Summary Symbolic execution is a popular program analysis technique that allows seeking for bugs by reasoning over multiple alternative execution states at once…”
Get full text

Concolic Testing for Deep Neural Networks by Sun, Youcheng, Wu, Min, Ruan, Wenjie, Huang, Xiaowei, Kwiatkowska, Marta, Kroening, Daniel

“…Concolic testing combines program execution and symbolic analysis to explore the execution paths of a software program…”
Get full text

Semi-Proving: An Integrated Method for Program Proving, Testing, and Debugging by Tsong Yueh Chen, Tse, T H, Zhi Quan Zhou

“…We present an integrated method for program proving, testing, and debugging. Using the concept of metamorphic relations, we select necessary properties for target programs…”
Get full text

Efficient Generation of Error-Inducing Floating-Point Inputs via Symbolic Execution by Guo, Hui, Rubio-Gonzalez, Cindy

“… In this paper, we formulate the problem of generating high error-inducing floating-point inputs as a code coverage maximization problem solved using symbolic execution…”
Get full text

Discover deeper bugs with dynamic symbolic execution and coverage-based fuzz testing by Zhang, Bin, Feng, Chao, Herrera, Adrian, Chipounov, Vitaly, Candea, George, Tang, Chaojing

“…Coverage-based fuzz testing and dynamic symbolic execution are both popular program testing techniques…”
Get full text

Pending Constraints in Symbolic Execution for Better Exploration and Seeding by Kapus, Timotej, Busse, Frank, Cadar, Cristian

“…Symbolic execution is a well established technique for software testing and analysis…”
Get full text

Topseed: Learning Seed Selection Strategies for Symbolic Execution from Scratch by Lee, Jaehyeok, Cha, Sooyoung

“…We present TopSeed, a new approach that automatically selects optimal seeds to enhance symbolic execution…”
Get full text

Fuzzing Symbolic Expressions by Borzacchiello, Luca, Coppa, Emilio, Demetrescu, Camil

“…Recent years have witnessed a wide array of results in software testing, exploring different approaches and methodologies ranging from fuzzers to symbolic engines, with a full spectrum of instances…”
Get full text

A Unified Framework for Automated Testing of Robotic Process Automation Workflows Using Symbolic and Concolic Analysis by Paduraru, Ciprian, Cernat, Marina, Staicu, Adelina-Nicoleta

“… This paper presents a novel testing framework that first integrates symbolic execution and concolic testing strategies to enhance Robotic Process Automation workflow validation…”
Get full text

IFSE: Taming Closed-Box Functions in Symbolic Execution via Fuzz Solving by Wang, Qichang, Chen, Chuyang, Xu, Ruiyang, Sun, Haiying, Wan, Chengcheng, Su, Ting, Zhang, Yueling, Pu, Geguang

“…Modern symbolic execution techniques face the challenge of handling closed-box (CB) functions (e.g., system calls, library functions…”
Get full text

Automated Testing and Debugging for Big Data Analytics by Gulzar, Muhammad Ali

“… This shift in user demographics calls for immediate advancements in the development, debugging, and testing practices of big data applications, which are falling behind compared to the DISC framework…”
Get full text