Výsledky vyhledávání - General and reference Cross-computing tools and techniques Verification*

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

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

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

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

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

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

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

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

Semi-Automated Verification of Interior Unsafe Code Encapsulation in Real-World Rust Systems Autor Rao, Zihao

“…Interior unsafe is an essential design paradigm advocated by the Rust community in system software development. However, there is little official guidance or…”
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

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

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

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

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ískat plný text

A Hybrid Analysis to Detect Java Serialisation Vulnerabilities Autor Rasheed, Shawn, Dietrich, Jens

“…Serialisation related security vulnerabilities have recently been reported for numerous Java applications. Since serialisation presents both soundness and…”
Získat plný text

Automated Verification of Go Programs via Bounded Model Checking Autor Dilley, Nicolas, Lange, Julien

“… However existing tools either miss too many bugs or cannot handle large programs. To address these limitations, we propose a static checker for Go programs which relies on performing bounded model checking of their concurrent behaviours…”
Získat plný text

Demystifying and Detecting Cryptographic Defects in Ethereum Smart Contracts Autor Zhang, Jiashuo, Shen, Yiming, Chen, Jiachi, Su, Jianzhong, Wang, Yanlin, Chen, Ting, Gao, Jianbo, Chen, Zhong

“…Ethereum has officially provided a set of system-level cryptographic APIs to enhance smart contracts with cryptographic capabilities. These APIs have been…”
Získat plný text