Search Results - General and reference Cross-computing tools and techniques Verification

RobOT: Robustness-Oriented Testing for Deep Learning Systems by 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…”
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

FAST approaches to scalable similarity-based test case prioritization by 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…”
Get full text

DirectFuzz: Automated Test Generation for RTL Designs using Directed Graybox Fuzzing by 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…”
Get full text

SLEMI: Equivalence Modulo Input (EMI) Based Mutation of CPS Models for Finding Compiler Bugs in Simulink by 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…”
Get full text

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

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

A Unit Proofing Framework for Code-level Verification: A Research Agenda by 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…”
Get full text

Clozemaster: Fuzzing Rust Compiler by Harnessing Llms for Infilling Masked Real Programs by 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…”
Get full text

Hetrify: Efficient Verification of Heterogeneous Programs on RISC-V by 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…”
Get full text

CPA-DF: A Tool for Configurable Interval Analysis to Boost Program Verification by 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…”
Get full text

Property-driven Parallel Symbolic Model Checking of LTL by 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…”
Get full text

Rug: Turbo Llm for Rust Unit Test Generation by 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…”
Get full text

QuCAT: A Combinatorial Testing Tool for Quantum Software by 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…”
Get full text

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

“…We present CoVeriTeam GUI, a No-Code web frontend to compose new software-verification workflows from existing analysis techniques…”
Get full text

Leveraging Propagated Infection to Crossfire Mutants by 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…”
Get full text

Cooperative Software Verification via Dynamic Program Splitting by 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…”
Get full text

Formally Verified Binary-Level Pointer Analysis by 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…”
Get full text

Model Assisted Refinement of Metamorphic Relations for Scientific Software by Stevens, Clay, Kjeer, Katherine, Richard, Ryan, Valeev, Edward, Cohen, Myra B.

“… Less effort has been spent on functional correctness, where one of the most widely proposed technique is metamorphic testing…”
Get full text

Increasing the Effectiveness of Automatically Generated Tests by Improving Class Observability by 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…”
Get full text