Suchergebnisse - Verification and Program Analysis for Machine Learning Models

CURE: Code-Aware Neural Machine Translation for Automatic Program Repair von Jiang, Nan, Lutellier, Thibaud, Tan, Lin

“… Automatic program repair (APR) is crucial to improve software reliability. Recently, neural machine translation (NMT …”
Volltext

FedTracker: Furnishing Ownership Verification and Traceability for Federated Learning Model von Shao, Shuo, Yang, Wenyuan, Gu, Hanlin, Qin, Zhan, Fan, Lixin, Yang, Qiang, Ren, Kui

“… Federated learning (FL) is a distributed machine learning paradigm allowing multiple clients to collaboratively train a global model without sharing their local data …”
Volltext

Implementation of machine learning tool for continued process verification of process chromatography unit operation von Anupa, Anupa, Jesubalan, Naveen G., Trivedi, Rishika, Nitika, Nitika, Buddhiraju, Venkata Sudheendra, Runkana, Venkataramana, Rathore, Anurag S

“… Recent advancements in technology, such as the emergence of artificial intelligence (AI) and machine learning …”
Volltext

DeepLocalize: Fault Localization for Deep Neural Networks von Wardat, Mohammad, Le, Wei, Rajan, Hridesh

“… To that end, we first enable dynamic analysis of deep learning applications: by converting it into an imperative representation and alternatively …”
Volltext

Analysis of Formal Concepts for Verification of Pests and Diseases of Crops Using Machine Learning Methods von Tussupov, Jamalbek, Yessenova, Moldir, Abdikerimova, Gulzira, Aimbetov, Aidyn, Baktybekov, Kazbek, Murzabekova, Gulden, Aitimova, Ulzada

“… This article is devoted to a set of important areas of research: the analysis of formal representations and verification of pests and pathogens affecting crops using spectral brightness coefficients (SBR …”
Volltext

Inferring extended finite state machine models from software executions von Walkinshaw, Neil, Taylor, Ramsay, Derrick, John

“… The ability to reverse-engineer models of software behaviour is valuable for a wide range of software maintenance, validation and verification tasks …”
Volltext

DeepDiagnosis: Automatically Diagnosing Faults and Recommending Actionable Fixes in Deep Learning Programs von Wardat, Mohammad, Cruz, Breno Dantas, Le, Wei, Rajan, Hridesh

“… Furthermore, those buggy models are non-trivial to diagnose and fix due to inexplicit errors with several options to fix …”
Volltext

Research on a Regional Landslide Early-Warning Model Based on Machine Learning—A Case Study of Fujian Province, China von Liu, Yanhui, Huang, Junbao, Xiao, Ruihua, Ma, Shiwei, Zhou, Pinggen

“… The traditional regional landslide disaster early-warning model, however, is limited by the complex landslide induction mechanism, limited data accumulation, and insufficient big data analysis …”
Volltext

Video deepfake detection using a hybrid CNN-LSTM-Transformer model for identity verification von Petmezas, Georgios, Vanian, Vazgken, Konstantoudakis, Konstantinos, Almaloglou, Elena E. I., Zarpalas, Dimitris

“… Our model leverages 3DMMs for detailed facial feature extraction, a CNN for fine-grained spatial analysis, an LSTM for short-term temporal dynamics, and a Transformer for capturing long-term …”
Volltext

NEUROSPF: A Tool for the Symbolic Analysis of Neural Networks von Usman, Muhammad, Noller, Yannic, Pasareanu, Corina S., Sun, Youcheng, Gopinath, Divya

“… Given a trained neural network model, the tool extracts the architecture and model parameters and translates them into a Java representation that is amenable for analysis using the Symbolic …”
Volltext

Some Investigations of Machine Learning Models for Software Defects von Bhutamapuram, Umamaheswara Sharma

“… Software defect prediction (SDP) and software defect severity prediction (SDSP) models alleviate the burden on the testers by providing the automatic assessment of a newly-developed program in a short amount of time …”
Volltext

PROMAL: Precise Window Transition Graphs for Android via Synergy of Program Analysis and Machine Learning von Liu, Changlin, Wang, Hanlin, Liu, Tianming, Gu, Diandian, Ma, Yun, Wang, Haoyu, Xiao, Xusheng

“… A key component for these automated analysis techniques is to create a graphical user interface (GUI) model of an app, i.e …”
Volltext

Natural Attack for Pre-trained Models of Code von Yang, Zhou, Shi, Jieke, He, Junda, Lo, David

“… Current works mainly attack models of code with examples that preserve operational program semantics but ignore a fundamental requirement for adversarial example generation …”
Volltext

Methodology and evaluation in sports analytics: challenges, approaches, and lessons learned von Davis, Jesse, Bransen, Lotte, Devos, Laurens, Jaspers, Arne, Meert, Wannes, Robberechts, Pieter, Van Haaren, Jan, Van Roy, Maaike

“… from it. Typically, machine learning is used to build models and indicators that capture the skills, capabilities, and tendencies of athletes and teams …”
Volltext

An Empirical Study on Fine-Tuning Large Language Models of Code for Automated Program Repair von Huang, Kai, Meng, Xiangxin, Zhang, Jian, Liu, Yang, Wang, Wenjie, Li, Shuhao, Zhang, Yuqing

“… The advent of large language models (LLMs) has opened up new opportunities for automated program repair (APR …”
Volltext

D2A: A Dataset Built for AI-Based Vulnerability Detection Methods Using Differential Analysis von Zheng, Yunhui, Pujar, Saurabh, Lewis, Burn, Buratti, Luca, Epstein, Edward, Yang, Bo, Laredo, Jim, Morari, Alessandro, Su, Zhong

“… The recent ability of Machine Learning models to understand programming languages opens new possibilities when applied to static analysis …”
Volltext

Maschinelles Lernen beim Entwurf und der Bemessung von Stahlrahmenhallen von Fisch, Rupert, Stecker, Enrico, Kraus, Michael A.

“… Der Einsatz digitaler Hilfsmittel in Planungs‐ und Bauprozessen steigert die Effizienz, insbesondere für wiederkehrende Aufgaben und Abläufe, wie z. B. die …”
Volltext

An Automated Fault Attack Framework for Block Ciphers Through Property Mining and Verification von Wang, Xingxin, Hu, Wei, Tang, Shibo, Wang, Xinxin, Zhou, Huisi

“… Taking inspiration from machine learning and formal verification, we propose an automated fault attack framework, which supports multi-byte fault attacks on both SPN and generalized Feistel structure ciphers …”
Volltext

Assessing Robustness of ML-Based Program Analysis Tools using Metamorphic Program Transformations von Applis, Leonhard, Panichella, Annibale, van Deursen, Arie

“… Currently, metamorphic testing approaches for machine learning (ML) models focused on image processing and object recognition tasks …”
Volltext

Fault Localization with Code Coverage Representation Learning von Li, Yi, Wang, Shaohua, Nguyen, Tien

“… DeepRL4FL does so via novel code coverage representation learning (RL) and data dependencies RL for program statements …”
Volltext