Suchergebnisse - "Software and its engineering → Software verification and validation"

Uncover the Premeditated Attacks: Detecting Exploitable Reentrancy Vulnerabilities by Identifying Attacker Contracts von Yang, Shuo, Chen, Jiachi, Huang, Mingyuan, Zheng, Zibin, Huang, Yuan

“… Reentrancy, a notorious vulnerability in smart contracts, has led to millions of dollars in financial loss. However, current smart contract vulnerability …”
Volltext

AmbieGenVAE at the SBFT 2024 Tool Competition - Cyber-Physical Systems Track von Humeniuk, Dmytro, Khomh, Foutse

“… Testing and verification of autonomous systems is critically important. In the context of SBFT 2024 Cyber-physical systems (CPS) testing tool competition, we …”
Volltext

AmbieGen at the SBFT 2024 Tool Competition - CPS-UAV Track von Humeniuk, Dmytro, Khomh, Foutse

“… Simulation based testing of autonomous systems prior to their deployment in the real world is of big importance. AmbieGen is a tool for automatic generation of …”
Volltext

Runtime Instrumentation for Reactive Components (Artifact) von Aceto, Luca, Attard, Duncan Paul, Francalanza, Adrian, Ingólfsdóttir, Anna

“… Reactive software calls for instrumentation methods that uphold the reactive attributes of systems. Runtime verification sets another demand on the …”
Volltext

A Framework for Including Uncertainty in Robustness Evaluation of Bayesian Neural Network Classifiers von Essbai, Wasim, Bombarda, Andrea, Bonfanti, Silvia, Gargantini, Angelo

“… Neural networks (NNs) play a crucial role in safety-critical fields, requiring robustness assurance. Bayesian Neural Networks (BNNs) address data uncertainty, …”
Volltext

MASS: A tool for Mutation Analysis of Space CPS von Cornejo, Oscar, Pastore, Fabrizio, Briand, Lionel

“… We present MASS, a mutation analysis tool for embedded software in cyber-physical systems (CPS). We target space CPS (e.g., satellites) and other CPS with …”
Volltext

DFarm: Massive-Scaling Dynamic Android App Analysis on Real Hardware von Miltenberger, Marc, Gerding, Julien, Guthmann, Jens, Arzt, Steven

“… Dynamic analysis is an important tool for assessing software quality during testing. It not only helps analysts identify performance bottlenecks and functional …”
Volltext

Do Instance-level Review Diagrams Support Validation Processes of Cyber-Physical System Specifications : Results from a Controlled Experiment von Daun, Marian, Brings, Jennifer, Weyer, Thorsten

“… In the field of safety-critical systems, manual reviews are important to ensure high-quality software and to satisfy legal obligations. When applying …”
Volltext

Making Android Apps Monkey-Friendly von Paydar, Samad

“… Monkey testing is a random testing technique in which a stream of pseudo-random events are automatically fired on the GUI of the application under test, …”
Volltext

On the Monitorability of Session Types, in Theory and Practice (Artifact) von Bartolo Burlò, Christian, Francalanza, Adrian, Scalas, Alceste

“… In the paper "On the Monitorability of Session Types, in Theory and Practice" we study the monitorability of message-passing black-box processes against …”
Volltext