004.02 — Методы решения задач

The Neglected Baseline in Model Interpretation Yongjin Cui, Xiaohui Fan · 2026

Combining Mechanical and Agentic Specification Inference for Move Wolfgang Grieskamp, Teng Zhang, Vineeth Kashyap · 2026

AI Assurance: A Comprehensive Testing Strategy for Enterprise AI Systems Chitra Badagi, Divye Singh, Animesh Sen, Adinath Shirsath · 2026

MISRust: Mapping MISRA-C++ Coding Guidelines to the Rust Programming Language Marius Molz, Niels Schneider, Sven Lechner, Stefan Kowalewski, Alexandru Kampmann · 2026

AI-Driven Adaptive Adversaries and the Erosion of Cryptographic Trust in Public Key Systems Petar Radanliev · 2026

Guarded Repair for Harm-Aware Post-hoc Replacement of LLM Mathematical Reasoning Haizhou Xia · 2026

Synthesizing Inductive Invariants for Distributed Protocols via IC3 and Large Language Models Weining Cao, Guangyuan Wu, Yuan Yao, Hengfeng Wei, Taolue Chen, Xiaoxing Ma · 2026

Beyond Inference-Only Deployment: Comparing Weight-Based Consolidation Against Cascading Compaction Simon Dennis, Kevin Shabahang, Hao Guo, Rivaan Patil · 2026

Reuse in Agile Development Process Chung-Yeung Pang · 2022

Contract Based Verification of Non-functional Requirements for Embedded Automotive C Code Jesper Amilon, Merlijn Sevenhuijsen, Mattias Nyberg, Karl Palmskog · 2026

Privacy-by-Design Adaptive Group Assignment for Digital Lifestyle Coaching at Scale Nariman Mani, Salma Attaranasl · 2026

AgentAtlas: Beyond Outcome Leaderboards for LLM Agents Parsa Mazaheri, Kasra Mazaheri · 2026

VeriScale: Adversarial Test-Suite Scaling for Verifiable Code Generation Yifan Bai, Xiaoyang Liu, Zihao Mou, Guihong Wang, Jian Yu, Shuhan Xie, Yantao Li, Yangyu Zhang, Jingwei Liang, Tao Luo · 2026

The Neglected Baseline in Model Interpretation Yongjin Cui, Xiaohui Fan · 2026

"Refactoring Runaway": Understanding and Mitigating Tangled Refactorings in Coding Agents for Issue Resolution Zhao Tian, Zifan Zhang, Tao Xiao, Dong Wang, Masanari Kondo, Junjie Chen, Yasutaka Kamei · 2026

Why Are Agentic Pull Requests Merged or Rejected? An Empirical Study Sien Reeve O. Peralta, Fumika Hoshi, Hironori Washizaki, Naoyasu Ubayashi, Inase Kondo, Yoshiki Higo, Hiroki Mukai, Norihiro Yoshida, Kazuki Kusama, Hidetake Tanaka, Youmei Fan · 2026

The Cultural and Institutional Barrier of Knowledge Exchanges in the Development of Open Source Software Ikbal Maulana · 2022

MileStone: A Multi-Objective Compiler Phase Ordering Framework for Graph-based IR-Level Optimization Amirhosein Sadr, Mehran Alidoost Nia · 2026

JEDI: Java Evaluation of Declarative and Imperative Queries Filippo Schiavio, Walter Binder · 2026

Misleading Microbenchmarks on the Java Virtual Machines Filippo Schiavio, Lubomír Bulej, Walter Binder · 2026

Agentic Proving for Program Verification Alessandro Sosso, Akhil Arora, Bas Spitters · 2026

Interaction Tree Semantics for RISC-V: Bridging Compiler and Hardware Verification Shuanglong Kan, Sebastian Ertel · 2026

Beyond BLEU: A Semantic Evaluation Method for Code Translation Julius Näumann, Sven Keidel, Amir Molzam Sharifloo, Mira Mezini · 2026

GPU-Accelerated Synthesis of Mixed-Boolean Arithmetic: Beyond Caching Gabriel Bathie, Baptiste Mouillon, Nathanaël Fijalkow · 2026

Teaching LLMs Program Semantics via Symbolic Execution Traces Jonas Bayer, Stefan Zetzsche, Olivier Bouissou, Remi Delmas, Michael Tautschnig, Soonho Kong · 2026

HarnessAPI: A Skill-First Framework for Unified Streaming APIs and MCP Tools Edwin Jose · 2026

FAME: Failure-Aware Mixture-of-Experts for Message-Level Log Anomaly Detection Huanchi Wang, Zihang Huang, Yifang Tian, Kristina Dzeparoska, Hans-Arno Jacobsen, Alberto Leon-Garcia · 2026

OverrideFuzz: Semantic-Aware Grammar Fuzzing for Script-Runtime Vulnerabilities Yiran Qiu · 2026

Neural Code Translation of Legacy Code: APL to C# Abdulrahman Ramadan, Hanen Borchani, Iben Lilholm, Mikkel Almind, Allan Peter Engsig-Karup · 2026

Automated Amortised Analysis of Skew Heaps and Leftist Heaps (Extended Version) Armin Walch, Georg Moser, Berry Schoenmakers, Florian Zuleger · 2026

Divergent Multi-Version Execution (DME): Canonical Instruction-Trace Fault Detection via Structural Address-Space Decorrelation Petro Baran Yrievich · 2026

The Use of Model-Based Systems Engineering in Agile Software Development Dallas Rosson · 2026

Applying Software Engineering Design Principles to Agile Architecture Chung-Yeung Pang · 2022

Integrating Testing into Agile Software Development Processes · 2014

Agile Team Measurement to Review the Performance in Global Software Development Chamundeswari Arumugam, Srinivasan Vaidyanathan · 2022

Agile Testing: Past, Present, and Future -- Charting a Systematic Map of Testing in Agile Software Development Theodore D. Hellmann, Abhishek Sharma, Jennifer Ferreira, Frank Maurer · 2012

Fuzzy Ontology for Requirements Determination and Documentation During Software Development Priti Srinivas Sajja, Rajendra A. Akerkar · 2022

MMT Pekka Mäkiaho, Katriina Vartiainen, Timo Poranen · 2022

Caesar: A Deductive Verifier for Probabilistic Programs Philipp Schröer, Kevin Batz, Umut Yiğit Dural, Darion Haase, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja · 2026

Compile-time Security Analysis and Optimization of Sensitive String Producers Mike Samuel, Tom Palmer, Shaw Summa, Robert Grayson · 2026

Constrained Code Generation with Discrete Diffusion Lize Shao, Michael Cardei, Zichen Xie, Ferdinando Fioretto, Wenxi Wang · 2026

Articulate but Wrong: Self-Review Failures in LLM-Based Code Modernization Gokul Chandra Purnachandra Reddy, Aditya Lolla, Harsha Sanku · 2026

BioDefect: The First Dataset for Defect Detection in Bioinformatics Software Tianxiang Xu, Xiaoyan Zhu, Xin Lai, Xin Lian, Hangyu Cheng, Jiayin Wang · 2026

Governance by Construction for Generalist Agents Segev Shlomov, Iftach Shoham, Alon Oved, Ido Levy, Sami Marreed, Harold Ship, Offer Akrabi, Sergey Zeltyn, Avi Yaeli, Nir Mashkif · 2026

RefusalBench: Why Refusal Rate Misranks Frontier LLMs on Biological Research Prompts Lukas Weidener, Marko Brkić, Mihailo Jovanović, Emre Ulgac, Aakaash Meduri · 2026

A Dataset of Reproducible Flaky-Test Failures Suzzana Rafi, Mahbub-Ul-Hoque Sumon, Md Erfan, Maruf Morshed Khan, August Shi, Wing Lam · 2026

The 2nd Workshop on Agile Practice & Research: A Summary and Call For Research Karen Eilers, Michael Neumann, Eva-Maria Schön, Mali Senapathi, Maria Rauschenberger, Tiago Silva da Silva · 2026

FuzzingBrain V2: A Multi-Agent LLM System for Automated Vulnerability Discovery and Reproduction Ze Sheng, Zhicheng Chen, Qingxiao Xu, Kewen Zhu, Jeff Huang · 2026

Quality-Assured Fuzz Harness Generation via the Four Principles Framework Ze Sheng, Dmitrijs Trizna, Luigino Camastra, Zhicheng Chen, Qingxiao Xu, Jeff Huang · 2026

Management in an Agile Environment · 2009

A Glossary of Business Sustainability Concepts Arunasalam Sambhanthan · 2022

Space engineering. Agile software development handbook · 2024

QUTest: A Native Testing Framework for Quantum Programs José Campos · 2026

OpenComputer: Verifiable Software Worlds for Computer-Use Agents Jinbiao Wei, Qianran Ma, Yilun Zhao, Xiao Zhou, Kangqi Ni, Guo Gan, Arman Cohan · 2026

Software Quality Management by Agile Testing Sharanpreet Kaur, Susheela Hooda, Harsimrat Deo · 2023

Systems and software engineering. Life cycle profiles for very small entities (VSEs) · 2024

Applying Software Engineering Design Principles to Agile Architecture Chung-Yeung Pang · 2020

Security Assurance in Agile Software Development Methods Kalle Rindell, Sami Hyrynsalmi, Ville Leppänen · 2022

Research Anthology on Agile Software, Software Development, and Testing · 2022

The Role of Neural Networks and Metaheuristics in Agile Software Development Effort Estimation Anupama Kaushik, Devendra Kumar Tayal, Kalpana Yadav · 2022

Agile Project Management · 2009

Teaching Model-Driven Engineering in a Master's Program Alexandre Bragança, Isabel Azevedo, Nuno Bettencourt · 2022

A Semantic-Web Oriented Competency Model for Engineering Programs Nicolas Evain, Ernesto Exposito, Philippe Arnould · 2026

Agentic Agile-V: From Vibe Coding to Verified Engineering in Software and Hardware Development Christopher Koch · 2026

Code Generation by Differential Test Time Scaling Yifeng He, Ethan Wang, Jicheng Wang, Xuanxin Ouyang, Hao Chen · 2026

A Multi-Layer Testing Framework for Automated Data Quality Assurance in Cloud-Native ELT Pipelines Ismail Gargouri, Hassan Reza · 2026

Stdlib or Third-Party? Empirical Performance and Correctness of LLM-Assisted Zero-Dependency Python Libraries Peng Ding, Rick Stevens · 2026

Agentic Model Checking Youcheng Sun, Jiawen Liu, Daniel Kroening, Jason Xue · 2026

Quality and Security Signals in AI-Generated Python Refactoring Pull Requests Mohamed Almukhtar, Anwar Ghammam, Hua Ming · 2026

Leveraging LLMs for Grammar Adaptation: A Study on Metamodel-Grammar Co-Evolution Weixing Zhang, Bowen Jiang, Rahul Sharma, Regina Hebig, Daniel Strüber · 2026

On-the-Fly Input Adaptation for Reliable Code Intelligence Ravishka Rathnasuriya, Wei Yang · 2026

When to Answer and When to Defer: A Decision Framework for Reliable Code Predictions Ravishka Rathnasuriya, Wei Yang · 2026

DRReduce: Enhancing Syntax-Guided Program Reduction with Dependency Reconstruction Qiong Feng, Xiaotian Ma, Yongqiang Tian, Wei Song, Peng Liang · 2026

Provable Fairness Repair for Deep Neural Networks Jianan Ma, Jingyi Wang, Qi Xuan, Zhen Wang · 2026

Traditional or Agile Contracting for Software Development Dinah Payne · 2022

Software Testing Under Agile, Scrum, and DevOps Kamalendu Pal, Bill Karakostas · 2022

Software Maintainability Estimation in Agile Software Development Parita Jain, Arun Sharma, Laxmi Ahuja · 2022

Knowledge Management Initiatives in Agile Software Development Shanmuganathan Vasanthapriyan · 2022

Why Agile? · 2009

A Simulation Model for Application Development in Data Warehouses Nayem Rahman · 2022

Foundations of Systems Engineering and Agile Scrum Dallas Rosson · 2026

Software Architecture Perla Velasco-Elizondo · 2022

From Agile Software Development to Agile Businesses C. Steindl · 2024

Linear-Time T-Gate Optimization via Random Abstraction Aws Albarghouthi · 2026

First Steps Towards Probabilistic Iris: Harmonizing Independence, Conditioning, and Dynamic Heap Allocation Janine Lohse, Tim Rohde, Jimmy Xin, Niklas Mück, Iona Kuhn, Derek Dreyer, Deepak Garg, Emanuele D'Osualdo · 2026

On the Complexity of Checking Soundness of Natural Reductions (Extended Version) Constantin Enea, Azadeh Farzan, Dominik Klumpp · 2026

Hydra: Efficient, Correct Code Generation via Checkpoint-and-Rollback Support Alexander Du, Jianjun Ou, Danyang Zhuo, Matthew Lentz · 2026

Risk Management Metrics Rimsy Dua, Samiksha Sharma, Rohit Kumar · 2022

Space engineering. Agile software development handbook · 2024

Challenges and Trends of Agile Fayez Salma, Jorge Marx Gómez · 2022

An Early Multi-Criteria Risk Assessment Model Priyanka Chandani, Chetna Gupta · 2022

A Decision Making Paradigm for Software Development in Libraries Harish Maringanti · 2022

Using Epistemic Game Development to Teach Software Development Skills Christos Gatzoulis, Andreas S. Andreou, Panagiotis Zaharias, Yiorgos Chrysanthou · 2022

Design and Development of a Technology-Agnostic NFR Testing Framework Erik Whiting, Soma Datta · 2022

Building an Ambidextrous Software Security Initiative Daniela Soares Cruzes, Espen Agnalt Johansen · 2022

Test Suite Optimization Using Firefly and Genetic Algorithm Abhishek Pandey, Soumya Banerjee · 2022

Event-B Agent: Towards LLM Agent for Formal Model Synthesis and Repair Hongshu Wang, Xinyue Zuo, Yuhan Sun, Qin Li, Yamine Ait Ameur, Jin Song Dong · 2026

SaaSBench: Exploring the Boundaries of Coding Agents in Long-Horizon Enterprise SaaS Engineering Qingnan Ren, Shun Zou, Shiting Huang, Ziao Zhang, Kou Shi, Zhen Fang, Yiming Zhao, Yu Zeng, Qisheng Su, Lin Chen, Yong Wang, Zehui Chen, Xiangxiang Chu, Feng Zhao · 2026

AgentModernize: Preserving Business Logic in Legacy Modernization with Multi-Agent LLMs and Behavioral Specification Graphs Sheikh Nazib Ahmed, Marnim Galib · 2026

Rethinking Code Review in the Age of AI: A Vision for Agentic Code Review Hüseyin Özgür Kamalı, Erdem Tuna, Vahid Haratian, Eray Tüzün · 2026

АНАЛИЗ МЕТОДОВ РЕШЕНИЯ ЗАДАЧИ УСТОЙЧИВОСТИ ПЛАСТИНОК Сычев М. Е., Овешников В. Ю. · 2023

СРАВНЕНИЕ МЕТОДОВ РЕШЕНИЯ ПРЯМОЙ ЗАДАЧИ КИНЕМАТИКИ МАНИПУЛЯТОРОВ И ПРЕДСТАВЛЕНИЕ МЕТОДА РЕШЕНИЯ ОБРАТНОЙ ЗАДАЧИ КИНЕМАТИКИ С ПОМОЩЬЮ МЕТОДА КВАТЕРНИОНОВ Цхай Н. В., Котов Е. С. · 2024

Machine Learning Classification to Effort Estimation for Embedded Software Development Projects Kazunori Iwata, Toyoshiro Nakashima, Yoshiyuki Anan, Naohiro Ishii · 2022

NATO and the Birth of Software Engineering David Parsons · 2024

Review on Agile Software Development · 2016

Agile Analysis · 2009

Markov Decision Theory-Based Crowdsourcing Software Process Model Kamalendu Pal · 2022

LogRouter: Adaptive Two-Level LLM Routing for Log Question Answering in Big Data Systems Mert Coskuner, Merve Zeybel, Melik Mert Dolan · 2026

PROTEA: Offline Evaluation and Iterative Refinement for Multi-Agent LLM Workflows Kazuki Kawamura, Satoshi Waki, Kei Tateno · 2026

A-ProS: Towards Reliable Autonomous Programming Through Multi-Model Feedback Anika Tabassum, Md Sifat Hossain, Md. Fahim Arefin, Tariqul Islam, Tarannum Shaila Zaman · 2026

Three Heads Are Better Than One: A Multi-perspective Reasoning Framework for Enhanced Vulnerability Detection Xin Peng, Bo Lin, Jing Wang, Xiaoling Li, Jun Ma, Jie Yu, Xiaoguang Mao, Shangwen Wang · 2026

One Step Further: Understanding PLC Binaries Through Cross-Platform Reverse Engineering and Function-Level Semantic Analysis Ang Jia, Yaxin Duan, He Jiang, Zhenzhou Tian, Zhilei Ren, Xiaochen Li · 2026

Benchmarking Mythos-Linked Bug Rediscovery Isaac David, Arthur Gervais · 2026

A semantic mutation metric for metamorphic relation adequacy in scientific computing programs Meng Li, Xiaohua Yang, Jie Liu, Shiyu Yan · 2026

DiagEval: Trajectory-Conditioned Diagnosis for Reliable Software Evaluation with GUI Agents Sirui Hong, Zhijie Liu, Tengfei Li, Wei Tao, Yifan Wu, Chenglin Wu · 2026

Agile Software Development Meets Corporate Deployment Procedures: Stretching the Agile Envelope Olly Gotel, David Leip · 2024

Tools in the Agile Enterprise · 2009

Analysis and Comparison of Neural Network Models for Software Development Effort Estimation Kamlesh Dutta, Varun Gupta, Vachik S. Dave · 2022

Agile Project Management— Getting Started · 2009

Project Life Cycles in Open-Source Software Sanjiv Das, Andrii Ieroshenko, Piyush Jain, David Qiu, Michael Chin, Brian Granger · 2026

A Non-Destructive Methodological Framework for Modernizing Legacy Clinical Reporting Systems for AI-Driven Pharmacoinformatics: A SAS Case Study Jaime Yan · 2026

AgentLens: Revealing The Lucky Pass Problem in SWE-Agent Evaluation Priyam Sahoo, Gaurav Mittal, Xiaomin Li, Shengjie Ma, Benjamin Steenhoek, Pingping Lin, Yu Hu · 2026

Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence Jun He, Deying Yu · 2026

Not All RAGs Are Created Equal: A Component-Wise Empirical Study for Software Engineering Tasks Qiang Ke, Yanjie Zhao, Hongjin Leng, Shengming Zhao, Haoyu Wang · 2026

Remember Your Trace: Memory-Guided Long-Horizon Agentic Framework for Consistent and Hierarchical Repository-Level Code Documentation Suyoung Bae, Jaehoon Lee, Changkyu Choi, YunSeok Choi, Jee-Hyong Lee · 2026

Mining Subscenario Refactoring Opportunities in Behaviour-Driven Software Test Suites: ML Classifiers and LLM-Judge Baselines Ali Hassaan Mughal, Noor Fatima, Muhammad Bilal · 2026

In-IDE Toolkit for Developers of AI-Based Features Yaroslav Sokolov, Yury Khudyakov, Lenar Sharipov, Andrei Gasparian, Parth Tiwary, Artem Trofimov · 2026

РЕШЕНИЕ ОЛИМПИАДНЫХ ЗАДАЧ МЕТОДАМИ ДИСКРЕТНОЙ МАТЕМАТИКИ Мухаметова М. И., Воистинова Г. Х. · 2023

ИССЛЕДОВАНИЕ НЕЙРОСЕТЕВОГО МЕТОДА РЕШЕНИЯ ЗАДАЧ ЛИНЕЙНОГО ПРОГРАММИРОВАНИЯ Ольховский Николай Александрович · 2023

МЕТОДЫ ЗАКРЕПЛЕНИЯ ПРИЕМОВ РЕШЕНИЯ ЗАДАЧ ПРИ ОБУЧЕНИИ МАТЕМАТИКЕ В ОБЩЕОБРАЗОВАТЕЛЬНОЙ ШКОЛЕ Горюнова Екатерина Александровна, Антонова Ирина Владимировна · 2025

МЕТОДЫ РЕШЕНИЯ ЗАДАЧИ АВТОМАТИЧЕСКОГО РЕФЕРИРОВАНИЯ ТЕКСТА Кулешов Н. А. · 2024

A Contingent Approach to Facilitating Conflict Resolution in Software Development Outsourcing Projects Donghwan Cho · 2022

Reliability and Testing · 2010

Techniques and Trends Towards Various Dimensions of Robust Security Testing in Global Software Engineering Muhammad Sulleman Memon, Mairaj Nabi Bhatti, Manzoor Ahmed Hashmani, Muhammad Shafique Malik, Naveed Murad Dahri · 2022

Migrating Software Towards Mobile Technologies Liliana Maria Favre · 2022

Security Testing Framework for Web Applications Layla Mohammed Alrawais, Mamdouh Alenezi, Mohammad Akour · 2022

Agile Scrum Issues at Large-Scale Distributed Projects Ayesha Khalid, Shariq Aziz Butt, Tauseef Jamal, Saikat Gochhait · 2022

Knowledge Management and Quality Control in Software Outsourcing Projects Rajorshi Sen Gupta · 2022

Refactoring and Integration Testing · 2010

Adapting a Requirements Engineering Process by Key Factors Estimation Graciela Dora Susana Hadad, Jorge Horacio Doorn, Viviana Alejandra Ledesma · 2022

Fixed Priced Projects in Agile Anuradha Chaminda Gajanayaka · 2016

Software Development for Information System - Achieving Optimum Quality with Security Syeda Umema Hani, Abu Turab Alam · 2022

Why Agile? · 2009

Source-to-Source Transformations for GPU Code Generation Julien de Castelnau, Thomas Koehler, Arthur Charguéraud, Clément Pit-Claudel · 2026

Is Agentic AI Ready for Real-World Hardware Engineering? A Deep Dive with Phoenix-bench Qingyun Zou, Feng Yu, Hongshi Tan, Bingsheng He, WengFai Wong · 2026

Scalable Deductive Verification of Data-Level Parallel Programs Lars B. van den Haak, Anton Wijs, Marieke Huisman · 2026

SkillOps: Managing LLM Agent Skill Libraries as Self-Maintaining Software Ecosystems Hongji Pu, Xinyuan Song, Liang Zhao · 2026

New Factors Affecting Productivity of the Software Factory Pedro Castañeda, David Mauricio · 2022

Testing and Test Automation Julian Michael Bass · 2022

Agile Software Development Quality Assurance J. Kile · 2024

Intuitionistic Fuzzy Decision Making Towards Efficient Team Selection in Global Software Development Mukta Goyal, Chetna Gupta · 2022

Quantitative Comparison of Credible Compilation and Verification In Coding Agent Compiler Development Martin Rinard · 2026

Persistent Amortised Analysis, Operationally Anton Lorenzen · 2026

Categorical Message Passing Language (CaMPL) for programmers Daniel Kiyoshi Hashimoto, Alexanna Little Berg, Priyaa Varshinee Srinivasan · 2026

SmartEval: A Benchmark for Evaluating LLM-Generated Smart Contracts from Natural Language Specifications Abhinav Goel, Agostino Capponi, Alfio Gliozzo, Chaitya Shah · 2026