Výsledky vyhľadávania - Theory of computation Semantics AND reasoning Program reasoning Program verification~

Automatic Web Testing Using Curiosity-Driven Reinforcement Learning Autor 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…”
Získať plný text

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

“… inference, to automatically score program elements based on how likely they are to be faulty. SFL techniques typically employ one type of profile data…”
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

A Bunched Logic for Conditional Independence Autor 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…”
Získať plný text

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

“…Generate-and-validate (G&V) automated program repair (APR) techniques have been extensively studied during the past decade…”
Získať plný text

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

“… This is unfortunate because bit-precise reasoning is crucial for faithfully and accurately modeling machine integer semantics and, thus, for ensuring sound and precise program verification…”
Získať plný text

Reasoning-Based Software Testing Autor Giamattei, Luca, Pietrantuono, Roberto, Russo, Stefano

“…With software systems becoming increasingly pervasive and autonomous, our ability to test for their quality is severely challenged. Many systems are called to…”
Získať plný text

PRoofster: Automated Formal Verification Autor 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…”
Získať plný text

Gpass: A Goal-Adaptive Neural Theorem Prover Based on Coq for Automated Formal Verification Autor Chen, Yizhou, Sun, Zeyu, Wang, Guoqing, Hao, Dan

“…Formal verification is a crucial means to assure software quality. Regrettably, the manual composition of verification scripts proves to be both laborious and time-consuming…”
Získať plný text

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

“… We thus transform programs to loop-free variants in a sound manner. Our experimental results show that the resulting tool, ESBMC ibmc, is competitive with state…”
Získať plný text

Discovering Likely Program Invariants for Persistent Memory Autor Huang, Zunchen, Ravi, Srivatsan, Wang, Chao

“…We propose a method for automatically discovering likely program invariants for persistent memory (PM…”
Získať plný text

Evaluating the Generalizability of LLMs in Automated Program Repair Autor Li, Fengjie, Jiang, Jiajun, Sun, Jiajun, Zhang, Hongyu

“…LLM-based automated program repair methods have attracted significant attention for their state-of-the-art performance…”
Získať plný text

CPA-DF: A Tool for Configurable Interval Analysis to Boost Program Verification Autor Beyer, Dirk, Chien, Po-Chun, Lee, Nian-Ze

“…Software verification is challenging, and auxiliary program invariants are used to improve the effectiveness of verification approaches…”
Získať plný text

JEST: N+1-Version Differential Testing of Both JavaScript Engines and Specification Autor Park, Jihyeok, An, Seungmin, Youn, Dongjun, Kim, Gyeongwon, Ryu, Sukyoung

“… Unlike in the conventional approach, in the modern CI/CD approach, a language specification is no more the oracle of the language semantics because both the specification and its implementations…”
Získať plný text

EvoSpex: An Evolutionary Algorithm for Learning Postconditions Autor 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…”
Získať plný text

Symbolic Fixpoint Algorithms for Logical LTL Games Autor Samuel, Stanly, D'Souza, Deepak, Komondoor, Raghavan

“… These tasks include controller synthesis (where one asks for a controller for a given plant such that the controlled plant satisfies a given temporal specification), program repair…”
Získať plný text

Insights from Rights and Wrongs: A Large Language Model for Solving Assertion Failures in RTL Design Autor 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…”
Získať plný text

Responsibility and verification: Importance value in temporal logics Autor Mascle, Corto, Baier, Christel, Funke, Florian, Jantsch, Simon, Kiefer, Stefan

“… For this purpose, we apply the concept of Shapley values to verification as a means to evaluate how important a part of a system…”
Získať plný text

LIV: Loop-Invariant Validation Using Straight-Line Programs Autor Beyer, Dirk, Spiessl, Martin

“…Validation of program invariants (a.k.a. correctness witnesses) is an established procedure in software verification…”
Získať plný text

Data-Oriented Differential Testing of Object-Relational Mapping Systems Autor 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…”
Získať plný text