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

“…Many test case prioritization criteria have been proposed for speeding up fault detection. Among them, similarity-based approaches give priority to the test…”
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

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

“…Finding bugs in commercial cyber-physical system development tools (or "model-based design" tools) such as MathWorks's Simulink is important in practice, as…”
Získat 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í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 investigate a modification of the classical Bounded Model Checking (BMC) procedure that does not handle loops through unrolling but via modifications to the…”
Získat 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í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

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,…”
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

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

Sand: Decoupling Sanitization from Fuzzing for Low Overhead Autor Kong, Ziqiao, Li, Shaohua, Huang, Heqing, Su, Zhendong

“…Sanitizers provide robust test oracles for various vulnerabilities. Fuzzing on sanitizer-enabled programs has been the best practice to find software bugs…”
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

Invivo Fuzzing by Amplifying Actual Executions Autor Galland, Octavio, Bohme, Marcel

“…A major bottleneck that remains when fuzzing software libraries is the need for fuzz drivers, i.e., the glue code between the fuzzer and the library. Despite…”
Získat plný text

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

“…Model checking is an automated method used to formally verify systems by checking them against properties. However, a major problem in model checking is the…”
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

Parametric Falsification of Many Probabilistic Requirements Under Flakiness Autor Camilli, Matteo, Mirandola, Raffaela

“…Falsification is a popular simulation-based testing method for Cyber-Physical Systems to find inputs that violate a formal requirement. It employs optimization…”
Získat plný text

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

“…Ensuring the correctness of scientific software is challenging due to the need to represent and model complex phenomenon in a discrete form. Many dynamic…”
Získat plný text