Výsledky vyhľadávania - Testing and Debugging— Symbolic Execution

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

“…Symbolic execution is a powerful program analysis technique that systematically explores multiple program paths…”
Získať plný text

Eliminating Path Redundancy via Postconditioned Symbolic Execution Autor 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…”
Získať plný text

Natural Symbolic Execution-Based Testing for Big Data Analytics Autor 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…”
Získať plný text

Android Testing via Synthetic Symbolic Execution Autor 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…”
Získať plný text

Angelic debugging Autor 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…”
Získať plný text

Concrete Constraint Guided Symbolic Execution Autor 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…”
Získať plný text

Compatible Branch Coverage Driven Symbolic Execution for Efficient Bug Finding Autor 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…”
Získať plný text

Guiding Dynamic Symbolic Execution toward Unverified Program Executions Autor 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…”
Získať plný text

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

“…We present FeatMaker, a novel technique that automatically generates state features to enhance the search strategy of symbolic execution…”
Získať plný text

Memory models in symbolic execution: key ideas and new thoughts Autor 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…”
Získať plný text

Concolic Testing for Deep Neural Networks Autor 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…”
Získať plný text

Semi-Proving: An Integrated Method for Program Proving, Testing, and Debugging Autor 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…”
Získať plný text

Efficient Generation of Error-Inducing Floating-Point Inputs via Symbolic Execution Autor 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…”
Získať plný text

Discover deeper bugs with dynamic symbolic execution and coverage-based fuzz testing Autor 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…”
Získať plný text

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

“…Symbolic execution is a well established technique for software testing and analysis…”
Získať plný text

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

“…We present TopSeed, a new approach that automatically selects optimal seeds to enhance symbolic execution…”
Získať plný text

Fuzzing Symbolic Expressions Autor 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…”
Získať plný text

A Unified Framework for Automated Testing of Robotic Process Automation Workflows Using Symbolic and Concolic Analysis Autor 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…”
Získať plný text

IFSE: Taming Closed-Box Functions in Symbolic Execution via Fuzz Solving Autor 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…”
Získať plný text

Automated Testing and Debugging for Big Data Analytics Autor 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…”
Získať plný text