12 papers
Leakage-Resistant Evaluation of AI-Generated Database Specifications in Specification-Driven Migration
Oleg Grynets, Ivan Fedorchuk, Vasyl Lyashkevych
This paper presents a leakage-resistant framework and benchmark (LRFB) for measuring evaluators of AI-generated Oracle PL/SQL specifications. The benchmark contains 494 labelled so…
A Hybrid Dependency-Aware Framework for Task Decomposition and Dynamic Agent Generation in Oracle-to-PostgreSQL Migration
Oleg Grynets, Oleg Kaskun, Alona Seletska +2
Large language model (LLM)-based database migration is often treated as direct code transformation, although enterprise Oracle systems contain heterogeneous SQL and PL/SQL artifact…
Specification-Driven Data Architecture Reconstruction: From Physical Code to Logical and Conceptual Specifications
Oleg Grynets, Olena Pochernina, Vasyl Lyashkevych
Legacy database migrations often begin with incomplete or outdated documentation, leaving physical data definition language (DDL) as the principal evidence of data architecture. Ho…
Comparative Framework Analysis for Enterprise Generative AI Applications: Chatbot, Automation, and Oracle-to-PostgreSQL Migration
Oleg Grynets, Olena Pochernina, Alona Seletska +4
This study compares framework suitability across three classes of enterprise generative AI applications: a documentation-based development assistant, an email and inquiry automatio…
Specification Portability Across LLM Development Agents: Cross-Agent Compatibility in Specification-Driven Software Migration
Oleg Grynets, Oleksii Ilchuk, Dariia Zatulna +1
This paper investigates cross-agent specification portability using Oracle-to-PostgreSQL migration as a controlled software transformation task. The study combines two experimental…
Measuring What a Specification Determines: A Formal Semantic-Block Model and an Execution-Judged Benchmark
Oleg Grynets, Dmytro Kostetskyi, Vasyl Lyashkevych
This work introduces a formal semantic-block model for specifications and an execution-judged benchmark for evaluating specification quality independently of model capability. A sp…
Specification-Driven DevOps for Multi-Service Environments
Oleg Grynets, Kyrylo Fursov, Vasyl Lyashkevych +1
Large Language Models (LLMs) are increasingly used to generate executable software environments from repository artifacts. However, functional executability does not necessarily im…
Specification-Driven Development Benchmark: Security Knowledge Transition
Oleg Grynets, Andrii Salyk, Vasyl Lyashkevych +2
AI-assisted software development is shifting from isolated code completion toward specification-driven generation, where business requirements, technical specifications, and accept…
Token Optimization Strategies for LLM-Based Oracle-to-PostgreSQL Migration
Oleg Grynets, Dmytro Babarytskyi, Vasyl Lyashkevych
LLMs are increasingly used for software modernization, code translation, and database migration. However, LLM-based Oracle2PostgreSQL migration remains constrained by high token co…
Specification-Based Code-Text-Code Reengineering for LLM-Mediated Software Evolution
Oleg Grynets, Vasyl Lyashkevych, Arsen Dolichnyi +3
Direct Code2Code transformation remains challenging to control because it can preserve surface-level syntax while introducing semantic drift, hidden behavioral changes, loss of tra…
Unified Architecture Metamodel of Information Systems Developed by Generative AI
Oleg Grynets, Vasyl Lyashkevych
The rapid development of AI and LLMs has driven new methods of SDLC, in which a large portion of code, technical, and business documentation is generated automatically. However, si…
Fine-tuned LLM-based Code Migration Framework
Oleg Grynets, Vasyl Lyashkevych, Dmytro Baran +3
The study presents the outcomes of research and experimental validation in the domain of automated codebase migration, with a focus on addressing challenges in transitioning SQL-ba…