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

“…Statistical fault localization (SFL) techniques use execution profiles and success/failure information from software executions, in conjunction with…”
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. Meanwhile, such techniques can be…”
Získať plný text

Spectrum-Based Multiple Fault Localization Autor Abreu, Rui, Zoeteweij, Peter, van Gemund, Arjan J.C.

“…Fault diagnosis approaches can generally be categorized into spectrum-based fault localization (SFL, correlating failures with abstractions of program traces),…”
Získať plný text

DECKARD: Scalable and Accurate Tree-Based Detection of Code Clones Autor Lingxiao Jiang, Misherghi, G., Zhendong Su, Glondu, S.

“…Detecting code clones has many software engineering applications. Existing approaches either do not scale to large code bases or are not robust against minor…”
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

LLM-Generated Invariants for Bounded Model Checking Without Loop Unrolling Autor 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…”
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

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

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. Verification…”
Získať plný text

Data-Driven Synthesis of Provably Sound Side Channel Analyses Autor 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…”
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

Calysto: scalable and precise extended static checking Autor Babic, Domagoj, Hu, Alan J

“…Automatically detecting bugs in programs has been a long-held goal in software engineering. Many techniques exist, trading-off varying levels of automation,…”
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. Verifying the correctness of software systems often…”
Získať plný text

Increasing the Effectiveness of Automatically Generated Tests by Improving Class Observability Autor Galindo-Gutierrez, Geraldine, Sandoval Alcocer, Juan Pablo, Jimenez-Fuentes, Nicolas, Bergel, Alexandre, Fraser, Gordon

“…Automated unit test generation consists of two complementary challenges: Finding sequences of API calls that exercise the code of a class under test, and…”
Získať plný text

Metamorphic Testing and Debugging of Tax Preparation Software Autor Tizpaz-Niari, Saeid, Monjezi, Verya, Wagner, Morgan, Darian, Shiva, Reed, Krystia, Trivedi, Ashutosh

“…This paper presents a data-driven debugging framework to improve the trustworthiness of US tax preparation software systems. Given the legal implications of…”
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

“…Modern programming follows the continuous integration (CI) and continuous deployment (CD) approach rather than the traditional waterfall model. Even the…”
Získať plný text

Machine-Learning-Guided Selectively Unsound Static Analysis Autor Kihong Heo, Oh, Hakjoo, Kwangkeun Yi

“…We present a machine-learning-based technique for selectively applying unsoundness in static analysis. Existing bug-finding static analyzers are unsound in…”
Získať plný text

Using ML filters to help automated vulnerability repairs: when it helps and when it doesn't Autor Camporese, Maria, Massacci, Fabio

“…[Context:] The acceptance of candidate patches in automated program repair has been typically based on testing oracles. Testing requires typically a costly…”
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…”
Získať plný text