Výsledky vyhľadávania - ((automatic OR automatizace) OR automation) programming- program verification

Automatic Program Repair Autor Carver, Jeffrey, Colomo-Palacios, Ricardo, Larrucea, Xabier, Staron, Miroslaw

“…Following along with the theme of this issue of IEEE Software, this column reports on papers about automatic program repair (APR…”
Získať plný text

Stability Verification of Neural Network Controllers Using Mixed-Integer Programming Autor Schwan, Roland, Jones, Colin N., Kuhn, Daniel

“…We propose a framework for the stability verification of Mixed-Integer Linear Programming (MILP…”
Získať plný text

Towards Automatic Deductive Verification of C Programs with Sisal Loops Using the C-lightVer System Autor Kondratyev, D. A.

“…The C-lightVer system for deductive verification of C programs has been developed at the Institute of Informatics Systems of the Siberian Branch of the Russian Academy of Sciences (IIS SB RAS…”
Získať plný text

Automatic Compilation from High-Level Biologically-Oriented Programming Language to Genetic Regulatory Networks Autor Beal, Jacob, Lu, Ting, Weiss, Ron

“…The field of synthetic biology promises to revolutionize our ability to engineer biological systems, providing important benefits for a variety of…”
Získať plný text

The Automation of C Program Verification by the Symbolic Method of Loop Invariant Elimination Autor Kondratyev, D. A., Maryasov, I. V., Nepomniaschy, V. A.

“…In the deductive verification of programs written in the imperative programming languages, the generation and proving of the verification conditions corresponding to loops are of particular complexity…”
Získať plný text

Automatic Verification of Mixed-Signal ATE Test Programs using Device Variation Autor Mayer, Franziska, Schott, Christian, Billich, Enrico, Yazdani, Saeid, Heinkel, Ulrich, Daler, Georg, Ruf, Bernhard, Pannuzzo, Ricardo, Dickenscheid, Wolfgang

“… Therefore, the verification of the test program is an essential part of the development and the resulting effort has been increased significantly over the last…”
Získať plný text

Scheduling of Multi-AGV Systems in Automated Electricity Meter Verification Workshops Based on an Improved Snake Optimization Algorithm Autor Shi, Kun, Zhang, Miaohan, He, Zhaolei, Yin, Shi, Ai, Zhen, Pan, Nan

“…Automated guided vehicles (AGVs) are one of the core technologies for building unmanned autonomous integrated automated electric meter verification workshops in metrology centers…”
Získať plný text

A Closer Look at Different Difficulty Levels Code Generation Abilities of ChatGPT Autor Yan, Dapeng, Gao, Zhipeng, Liu, Zhiming

“… However, the existing studies are limited to exploring LLMs' ability for generating code snippets to solve simple programming problems, the task of competition-level code generation has never been investigated…”
Získať plný text

Automation of C Program Deductive Verification without Using Loop Invariants Autor Kondratyev, D. A., Nepomniaschy, V. A.

“…Automation of C program verification is an important problem in modern software development…”
Získať plný text

Enhancing the Efficiency of Automated Program Repair via Greybox Analysis Autor Kim, YoungJae, Park, Yechan, Han, Seungheon, Yi, Jooyong

“…In this paper, we pay attention to the efficiency of automated program repair (APR). Recently, an efficient patch scheduling algorithm, Casino, has been proposed to improve APR efficiency…”
Získať plný text

Python Unit Test Automation - Automate, Organize, and Execute Unit Tests in Python (2nd Edition) Autor Pajankar, Ashwin

“…Learn how to automate unit tests of Python 3 with automation libraries, such as doctest, unittest, nose, nose2, pytest, and selenium…”
Získať plný text

LTL-Specification for Development and Verification of Control Programs Autor Neyzov, M. V., Kuzmin, E. V.

“…This work continues the series of articles on the development and verification of control programs based on the LTL-specification…”
Získať plný text

Automatic equivalence checking of programs with uninterpreted functions and integer arithmetic Autor Lopes, Nuno P., Monteiro, José

“… In this paper, we propose, to the best of our knowledge, the first semi-algorithm for the automatic verification of partial equivalence of two programs over the combined theory of uninterpreted…”
Získať plný text

On the automation of fixing software bugs Autor Arcuri, Andrea

“…Software Testing can take up to half of the resources of the development of new software. Although there has been a lot of work on automating the testing…”
Získať plný text

Automatic Repair of Timestamp Comparisons Autor Liva, Giovanni, Khan, Muhammad Taimoor, Pinzger, Martin, Spegni, Francesco, Spalazzi, Luca

“… It unifies the benefits of static analysis and automatic program repair avoiding dependency on testing to identify and correct defected code…”
Získať plný text

Solutions for Multiple-Defender Single-Attacker Convex Target Guarding Games: Verification via Parametric Optimization Autor Lee, Yoonjae, Bakolas, Efstathios

“…). We show that the equilibrium strategies of the agents can be computed via a convex program, which remains tractable even in high-dimensional cases as opposed to the direct solution of the Hamilton-Jacobi-Isaacs (HJI) equation…”
Získať plný text

Inferring Loop Invariants by Mutation, Dynamic Analysis, and Static Checking Autor Galeotti, Juan P., Furia, Carlo A., May, Eva, Fraser, Gordon, Zeller, Andreas

“… We present a framework that automatically applies these techniques to support a program prover, paving the way for fully automatic verification without manually written loop invariants…”
Získať plný text

Formal Specification and Verification of Industrial Control Logic Components Autor Ljungkrantz, Oscar, Akesson, Knut, Fabian, Martin, Chengyin Yuan

“…Component-based programming frameworks for industrial control logic development promise to shorten development and modification times, and to reduce programming errors…”
Získať plný text

Rust-twins: Automatic Rust Compiler Testing through Program Mutation and Dual Macros Generation Autor Yang, Wenzhang, Gao, Cuifeng, Liu, Xiaoyuan, Li, Yuekang, Xue, Yinxing

“…Rust is a relatively new programming language known for its memory safety and numerous advanced features…”
Získať plný text

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