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

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

“…Finding bugs in commercial cyber-physical system development tools (or "model-based design" tools) such as MathWorks's Simulink is important in practice, as…”
Get full text

DECKARD: Scalable and Accurate Tree-Based Detection of Code Clones by 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…”
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 investigate a modification of the classical Bounded Model Checking (BMC) procedure that does not handle loops through unrolling but via modifications to the…”
Get full text

Guiding Dynamic Symbolic Execution toward Unverified Program Executions by 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…”
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

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,…”
Get full text

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

“…Serialisation related security vulnerabilities have recently been reported for numerous Java applications. Since serialisation presents both soundness and…”
Get full text

Calysto: scalable and precise extended static checking by 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,…”
Get full text

Invivo Fuzzing by Amplifying Actual Executions by 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…”
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

Sand: Decoupling Sanitization from Fuzzing for Low Overhead by 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…”
Get full text

Demystifying and Detecting Cryptographic Defects in Ethereum Smart Contracts by 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…”
Get full text

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

Parametric Falsification of Many Probabilistic Requirements Under Flakiness by 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…”
Get full text

Model Assisted Refinement of Metamorphic Relations for Scientific Software by 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…”
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