Výsledky vyhledávání - Verification and Program Analysis for Machine Learning Models

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

“…Automatic program repair (APR) is crucial to improve software reliability. Recently, neural machine translation (NMT…”
Získat plný text

FedTracker: Furnishing Ownership Verification and Traceability for Federated Learning Model Autor 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…”
Získat plný text

Implementation of machine learning tool for continued process verification of process chromatography unit operation Autor 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…”
Získat plný text

DeepLocalize: Fault Localization for Deep Neural Networks Autor 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…”
Získat plný text

Analysis of Formal Concepts for Verification of Pests and Diseases of Crops Using Machine Learning Methods Autor 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…”
Získat plný text

Inferring extended finite state machine models from software executions Autor 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…”
Získat plný text

DeepDiagnosis: Automatically Diagnosing Faults and Recommending Actionable Fixes in Deep Learning Programs Autor 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…”
Získat plný text

Research on a Regional Landslide Early-Warning Model Based on Machine Learning—A Case Study of Fujian Province, China Autor 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…”
Získat plný text

Video deepfake detection using a hybrid CNN-LSTM-Transformer model for identity verification Autor 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…”
Získat plný text

NEUROSPF: A Tool for the Symbolic Analysis of Neural Networks Autor 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…”
Získat plný text

Some Investigations of Machine Learning Models for Software Defects Autor 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…”
Získat plný text

PROMAL: Precise Window Transition Graphs for Android via Synergy of Program Analysis and Machine Learning Autor 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…”
Získat plný text

Natural Attack for Pre-trained Models of Code Autor 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…”
Získat plný text

Methodology and evaluation in sports analytics: challenges, approaches, and lessons learned Autor 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…”
Získat plný text

An Empirical Study on Fine-Tuning Large Language Models of Code for Automated Program Repair Autor 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…”
Získat plný text

D2A: A Dataset Built for AI-Based Vulnerability Detection Methods Using Differential Analysis Autor 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…”
Získat plný text

An Automated Fault Attack Framework for Block Ciphers Through Property Mining and Verification Autor 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…”
Získat plný text

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

“… Currently, metamorphic testing approaches for machine learning (ML) models focused on image processing and object recognition tasks…”
Získat plný text

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

“… DeepRL4FL does so via novel code coverage representation learning (RL) and data dependencies RL for program statements…”
Získat plný text

What are we really testing in mutation testing for machine learning?: a critical reflection Autor Panichella, Annibale, Liem, Cynthia C. S.

“… In recent years, mutation testing has been extended to machine learning (ML) systems, and deep learning (DL) in particular…”
Získat plný text