Suchergebnisse - Testing and Debugging— Symbolic execution

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

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

Eliminating Path Redundancy via Postconditioned Symbolic Execution von 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 …”
Volltext

Natural Symbolic Execution-Based Testing for Big Data Analytics von 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 …”
Volltext

Android Testing via Synthetic Symbolic Execution von 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 …”
Volltext

Angelic debugging von 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 …”
Volltext

Concrete Constraint Guided Symbolic Execution von 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 …”
Volltext

Compatible Branch Coverage Driven Symbolic Execution for Efficient Bug Finding von 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 …”
Volltext

Guiding Dynamic Symbolic Execution toward Unverified Program Executions von 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 …”
Volltext

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

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

Memory models in symbolic execution: key ideas and new thoughts von 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 …”
Volltext

Concolic Testing for Deep Neural Networks von 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 …”
Volltext

Semi-Proving: An Integrated Method for Program Proving, Testing, and Debugging von 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 …”
Volltext

Efficient Generation of Error-Inducing Floating-Point Inputs via Symbolic Execution von 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 …”
Volltext

Discover deeper bugs with dynamic symbolic execution and coverage-based fuzz testing von 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 …”
Volltext

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

“… Symbolic execution is a well established technique for software testing and analysis …”
Volltext

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

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

Fuzzing Symbolic Expressions von 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 …”
Volltext

A Unified Framework for Automated Testing of Robotic Process Automation Workflows Using Symbolic and Concolic Analysis von 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 …”
Volltext

IFSE: Taming Closed-Box Functions in Symbolic Execution via Fuzz Solving von 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 …”
Volltext

Automated Testing and Debugging for Big Data Analytics von 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 …”
Volltext