Výsledky vyhledávání - General AND reference Cross-computing tools AND techniques 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ískat plný text

RobOT: Robustness-Oriented Testing for Deep Learning Systems Autor Wang, Jingyi, Chen, Jialuo, Sun, Youcheng, Ma, Xingjun, Wang, Dongxia, Sun, Jun, Cheng, Peng

“…Recently, there has been a significant growth of interest in applying software engineering techniques for the quality assurance of deep learning (DL) systems…”
Získat plný text

FAST approaches to scalable similarity-based test case prioritization Autor Miranda, Breno, Cruciani, Emilio, Verdecchia, Roberto, Bertolino, Antonia

“… We introduce the FAST family of test case prioritization techniques that radically changes this landscape by borrowing algorithms commonly exploited in the big data domain to find similar items…”
Získat plný text

SLEMI: Equivalence Modulo Input (EMI) Based Mutation of CPS Models for Finding Compiler Bugs in Simulink Autor Chowdhury, Shafiul Azam, Shrestha, Sohil Lal, Johnson, Taylor T., Csallner, Christoph

“… To provide EMI-based mutation for differential testing of cyber-physical system (CPS) development tools, this paper develops several novel mutation techniques…”
Získat plný text

DirectFuzz: Automated Test Generation for RTL Designs using Directed Graybox Fuzzing Autor Canakci, Sadullah, Delshadtehrani, Leila, Eris, Furkan, Taylor, Michael Bedford, Egele, Manuel, Joshi, Ajay

“…A critical challenge in RTL verification is to generate effective test inputs. Recently, RFUZZ proposed to use an automated software testing technique, namely…”
Získat plný text

Guiding Dynamic Symbolic Execution toward Unverified Program Executions Autor Christakis, Maria, Muller, Peter, Wustholz, Valentin

“… In this paper, we present a technique to complement partial verification results by automatic test case generation…”
Získat 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ískat plný text

A Unit Proofing Framework for Code-level Verification: A Research Agenda Autor Amusuo, Paschal C., Patil, Parth V., Cochell, Owen, Le Lievre, Taylor, Davis, James C.

“…Formal verification provides mathematical guarantees that a software is correct. Design-level verification tools ensure software specifications are correct, but they do not expose defects in actual implementations…”
Získat 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ískat plný text

Hetrify: Efficient Verification of Heterogeneous Programs on RISC-V Autor Li, Yiwei, Yin, Liangze, Dong, Wei, Liu, Jiaxin, Hu, Yanfeng, Li, Shanshan

“… to significant verification challenges. Currently, there are no mature and available methods to effectively address such problems…”
Získat plný text

Clozemaster: Fuzzing Rust Compiler by Harnessing Llms for Infilling Masked Real Programs Autor Gao, Hongyan, Yang, Yibiao, Sun, Maolin, Wu, Jiangchang, Zhou, Yuming, Xu, Baowen

“…Ensuring the reliability of the Rust compiler is of paramount importance, given increasing adoption of Rust for critical systems development, due to its…”
Získat plný text

Safety in Autonomous Driving: Can Tools Offer Guarantees? Autor Fremont, Daniel J., Sangiovanni-Vincentelli, Alberto L., Seshia, Sanjit A.

“… We believe that formal methods will play an essential role in the enterprise of ensuring AV safety by providing tools for the modeling, verification, synthesis, and runtime assurance of AV systems…”
Získat plný text

Rug: Turbo Llm for Rust Unit Test Generation Autor Cheng, Xiang, Sang, Fan, Zhai, Yizhuo, Zhang, Xiaokuan, Kim, Taesoo

“… This problem is particularly pronounced in Rust due to its intricate type system, making traditional unit test generation tools ineffective in Rust projects…”
Získat plný text

QuCAT: A Combinatorial Testing Tool for Quantum Software Autor Wang, Xinyi, Arcaini, Paolo, Yue, Tao, Ali, Shaukat

“… To this end, we present the quantum software testing tool QuCAT for combinatorial testing of quantum programs…”
Získat plný text

CoVeriTeam GUI: A No-Code Approach to Cooperative Software Verification Autor Lemberger, Thomas, Wachowitz, Henrik

“…We present CoVeriTeam GUI, a No-Code web frontend to compose new software-verification workflows from existing analysis techniques…”
Získat plný text

Property-driven Parallel Symbolic Model Checking of LTL Autor Su, Yuheng, Li, Yingcheng, Yang, Qiusong, Ci, Yiwei, Huang, Ziyu

“… There are numerous parallel explicit model checking algorithms available in the literature. Symbolic model checking offers significant advantages over explicit model checking in terms of problem scalability and verification speed…”
Získat plný text

Cooperative Software Verification via Dynamic Program Splitting Autor Richter, Cedric, Chalupa, Marek, Jakobs, Marie-Christine, Wehrheim, Heike

“…Cooperative software verification divides the task of software verification among several verification tools in order to increase efficiency and effectiveness…”
Získat plný text

Leveraging Propagated Infection to Crossfire Mutants Autor Du, Hang, Palepu, Vijay Krishna, Jones, James A.

“…Mutation testing was proposed to identify weaknesses in test suites by repeatedly generating artificially faulty versions of the software (i.e., mutants) and…”
Získat plný text

CEGAR-PT: A Tool for Abstraction by Program Transformation Autor Beyer, Dirk, Lingsch-Rosenfeld, Marian, Spiessl, Martin

“… in new tools again and again. We address this problem by contributing the tool cegar-pt, which views abstraction as program transformation and integrates different verification components off-the-shelf…”
Získat plný text

Formally Verified Binary-Level Pointer Analysis Autor Verbeek, Freek, Shokri, Ali, Engel, Daniel, Ravindran, Binoy

“…Binary-level pointer analysis can be of use in symbolic execution, testing, verification, and decompilation of software binaries…”
Získat plný text