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

PyCG: Practical Call Graph Generation in Python by Salis, Vitalis, Sotiropoulos, Thodoris, Louridas, Panos, Spinellis, Diomidis, Mitropoulos, Dimitris

“…Call graphs play an important role in different contexts, such as profiling and vulnerability propagation analysis. Generating call graphs in an efficient…”
Get full text

Automatic Web Testing Using Curiosity-Driven Reinforcement Learning by Zheng, Yan, Liu, Yi, Xie, Xiaofei, Liu, Yepang, Ma, Lei, Hao, Jianye, Liu, Yang

“…Web testing has long been recognized as a notoriously difficult task. Even nowadays, web testing still mainly relies on manual efforts in many cases while…”
Get full text

Log Parsing: How Far Can ChatGPT Go? by Le, Van-Hoang, Zhang, Hongyu

“…Software logs play an essential role in ensuring the reliability and maintainability of large-scale software systems, as they are often the sole source of…”
Get full text

Improving Fault Localization by Integrating Value and Predicate Based Causal Inference Techniques by Kucuk, Yigit, Henderson, Tim A. D., Podgurski, Andy

“…Statistical fault localization (SFL) techniques use execution profiles and success/failure information from software executions, in conjunction with…”
Get full text

A Logic for Locally Complete Abstract Interpretations by Bruni, Roberto, Giacobazzi, Roberto, Gori, Roberta, Ranzato, Francesco

“…We introduce the notion of local completeness in abstract interpretation and define a logic for proving both the correctness and incorrectness of some program…”
Get full text

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

“…Value flow analysis that tracks the flow of values via data dependence is a widely used technique for detecting a broad spectrum of software bugs. However, the…”
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

Fast and Precise On-the-Fly Patch Validation for All by Chen, Lingchao, Ouyang, Yicheng, Zhang, Lingming

“…Generate-and-validate (G&V) automated program repair (APR) techniques have been extensively studied during the past decade. Meanwhile, such techniques can be…”
Get full text

Demonstration-Free: Towards More Practical Log Parsing with Large Language Models by Xiao, Yi, Le, Van-Hoang, Zhang, Hongyu

“…Log parsing, the process of converting raw log messages into structured formats, is an important initial step for automated analysis of logs of large-scale…”
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. Dynamic…”
Get full text

Demystifying Template-Based Invariant Generation for Bit-Vector Programs by Yao, Peisen, Ke, Jingyu, Sun, Jiahui, Fu, Hongfei, Wu, Rongxin, Ren, Kui

“…The template-based approach to invariant generation is a parametric and relatively complete methodology for inferring loop invariants. The relative…”
Get full text

Data-Oriented Differential Testing of Object-Relational Mapping Systems by Sotiropoulos, Thodoris, Chaliasos, Stefanos, Atlidakis, Vaggelis, Mitropoulos, Dimitris, Spinellis, Diomidis

“…We introduce, what is to the best of our knowledge, the first approach for systematically testing Object-Relational Mapping (ORM) systems. Our approach…”
Get full text

LLM-Generated Invariants for Bounded Model Checking Without Loop Unrolling by Pirzada, Muhammad A. A., Bhayat, Ahmed, Cordeiro, Lucas C., Reger, Giles

“…We investigate a modification of the classical Bounded Model Checking (BMC) procedure that does not handle loops through unrolling but via modifications to the…”
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

EvoSpex: An Evolutionary Algorithm for Learning Postconditions by Molina, Facundo, Ponzio, Pablo, Aguirre, Nazareno, Frias, Marcelo

“…Software reliability is a primary concern in the construction of software, and thus a fundamental component in the definition of software quality. Analyzing…”
Get full text

Unleashing the True Potential of Semantic-Based Log Parsing with Pre-Trained Language Models by Le, Van-Hoang, Xiao, Yi, Zhang, Hongyu

“…Software-intensive systems often produce console logs for troubleshooting purposes. Log parsing, which aims at parsing a log message into a specific log…”
Get full text

A Bunched Logic for Conditional Independence by Bao, Jialu, Docherty, Simon, Hsu, Justin, Silva, Alexandra

“…Independence and conditional independence are fundamental concepts for reasoning about groups of random variables in probabilistic programs. Verification…”
Get full text

Data-Driven Synthesis of Provably Sound Side Channel Analyses by Wang, Jingbo, Sung, Chungha, Raghothaman, Mukund, Wang, Chao

“…We propose a data-driven method for synthesizing static analyses to detect side-channel information leaks in cryptographic software. Compared to the…”
Get full text

Insights from Rights and Wrongs: A Large Language Model for Solving Assertion Failures in RTL Design by Zhou, Jie, Ji, Youshu, Wang, Ning, Hu, Yuchen, Jiao, Xinyao, Yao, Bingkun, Fang, Xinwei, Zhao, Shuai, Guan, Nan, Jiang, Zhe

“…SystemVerilog Assertions (SVAs) are essential for verifying Register Transfer Level (RTL) designs, as they can be embedded into key functional paths to detect…”
Get full text

PRoofster: Automated Formal Verification by Agrawal, Arpan, First, Emily, Kaufman, Zhanna, Reichel, Tom, Zhang, Shizhuo, Zhou, Timothy, Sanchez-Stern, Alex, Ringer, Talia, Brun, Yuriy

“…Formal verification is an effective but extremely work-intensive method of improving software quality. Verifying the correctness of software systems often…”
Get full text