Search Results - Theory of computation Semantics and reasoning Program reasoning Abstraction

Learning from, Understanding, and Supporting DevOps Artifacts for Docker by Henkel, Jordan, Bird, Christian, Lahiri, Shuvendu K., Reps, Thomas

“…: (i) nested languages in DevOps artifacts, (ii) rule mining, and (iii) the lack of semantic rule-based analysis…”
Get full text

Towards Interpreting Recurrent Neural Networks through Probabilistic Abstraction by Dong, Guoliang, Wang, Jingyi, Sun, Jun, Zhang, Yang, Wang, Xinyu, Dai, Ting, Dong, Jin Song, Wang, Xingen

“…Neural networks are becoming a popular tool for solving many realworld problems such as object recognition and machine translation, thanks to its exceptional…”
Get full text

Boosting Path-Sensitive Value Flow Analysis Via Removal of Redundant Summaries by Wang, Yongchao, Cai, Yuandao, Zhang, Charles

“… The primary culprit, as we observe, is the existence of redundant computations resulting from blindly computing summaries for a function, irrespective of whether they are related to bugs being checked…”
Get full text

DySy: dynamic symbolic execution for invariant inference by Csallner, Christoph, Tillmann, Nikolai, Smaragdakis, Yannis

“…Dynamically discovering likely program invariants from concrete test executions has emerged as a highly promising software engineering technique…”
Get full text

Practical Preprocessing of Logs at Scale by Zhao, Jianchen

“…Logs are diverse in structure and large in volume. While containing important information about systems at runtime, they must be preprocessed before analysis…”
Get full text

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

“… However, these techniques have typically demonstrated their effectiveness without considering "seeding", which efficiently initializes program states for exploration…”
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) whose source code is…”
Get full text

Symbolic execution for software testing in practice: preliminary assessment by Cadar, Cristian, Godefroid, Patrice, Khurshid, Sarfraz, Păsăreanu, Corina S., Sen, Koushik, Tillmann, Nikolai, Visser, Willem

“… Symbolic execution is a program analysis technique introduced in the 70s that has received renewed interest in recent years, due to algorithmic advances and increased availability of computational…”
Get full text

Precise Sparse Abstract Execution via Cross-Domain Interaction by Cheng, Xiao, Wang, Jiawei, Sui, Yulei

“…Sparse static analysis offers a more scalable solution compared to its non-sparse counterpart. The basic idea is to first conduct a fast pointer analysis that…”
Get full text

Information Retrieval-Based Fault Localization for Concurrent Programs by Shao, Shuai, Yu, Tingting

“… These techniques have been extensively studied to accurately rank source files, however, none of the existing approaches have focused on the specific case of concurrent programs…”
Get full text

Learning DNN Abstractions using Gradient Descent by Mukhopadhyay, Diganta, Siddiqui, Sanaa, Karmarkar, Hrishikesh, Madhukar, Kumar, Katz, Guy

“… There has been a lot of work on abstraction, and counterexample-guided abstraction refinement (CEGAR) of DNNs to address the scalability issue…”
Get full text

Using symbolic evaluation to understand behavior in configurable software systems by Reisner, Elnatan, Song, Charles, Ma, Kin-Keung, Foster, Jeffrey S., Porter, Adam

“…Many modern software systems are designed to be highly configurable, which increases flexibility but can make programs hard to test, analyze, and understand…”
Get full text

Juzi: a tool for repairing complex data structures by Elkarablieh, Bassem, Khurshid, Sarfraz

“…This paper describes Juzi, a tool for automatic repair of complex data structures. Juzi takes a Java class representing the data structure as well as a…”
Get full text

Test generation for graphical user interfaces based on symbolic execution by Ganov, Svetoslav R, Killmar, Chip, Khurshid, Sarfraz, Perry, Dewayne E

“…While Graphical User Interfaces (GUIs) have become ubiquitous, testing them remains largely ad-hoc. Since the state of a GUI is defined by a sequence of events…”
Get full text

Program analysis: from qualitative analysis to quantitative analysis (NIER track) by Liu, Sheng, Zhang, Jian

“…We propose to combine symbolic execution with volume computation to compute the exact execution frequency of program paths and branches…”
Get full text

Static analysis tools as early indicators of pre-release defect density by Nagappan, Nachiappan, Ball, Thomas

“…During software development it is helpful to obtain early estimates of the defect density of software components. Such estimates identify fault-prone areas of…”
Get full text

Automatic Loop Invariant Generation for Data Dependence Analysis by Tabar, Asmae Heydari, Bubel, Richard, Hahnle, Reiner

“…Parallelization of programs relies on sound and precise analysis of data dependences in the code, specifically, when dealing with loops…”
Get full text

Quality assurance of automotive hybrid embedded software by Zander-Nowicka, Justyna

“…Quality assurance (QA) is a crucial part of the software engineering, especially when the developed systems are safety-critical. It becomes even more complex…”
Get full text

An empirical study of optimizations in YOGI by Nori, Aditya V., Rajamani, Sriram K.

“… before. We describe and evaluate several engineering optimizations implemented in the Yogi property checking tool, including techniques to pick an initial abstraction, heuristics to pick predicates…”
Get full text

CIVL: the concurrency intermediate verification language by Siegel, Stephen F., Zheng, Manchun, Luo, Ziqing, Zirkel, Timothy K., Marianiello, Andre V., Edenhofner, John G., Dwyer, Matthew B., Rogers, Michael S.

“…There are many ways to express parallel programs: message-passing libraries (MPI) and multithreading/GPU language extensions such as OpenMP, Pthreads, and CUDA, are but a…”
Get full text