RouthSearch: Inferring PID Parameter Specification for Flight Control Program by Coordinate Search

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Wang, Siao, Dong, Zhen, Li, Hui, Shen, Liwei, Peng, Xin, She, Dongdong
Format:	Preprint
Published:	2025
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Extracting Formal Specifications from Documents Using LLMs for Automated Testing
by: Li, Hui, et al.
Published: (2025)

Search-based Automated Program Repair of CPS Controllers Modeled in Simulink-Stateflow
by: Arrieta, Aitor, et al.
Published: (2024)

Concretization of Abstract Traffic Scene Specifications Using Metaheuristic Search
by: Babikian, Aren A., et al.
Published: (2023)

Inferring Questions from Programming Screenshots
by: Ahmed, Faiz, et al.
Published: (2025)

Fault Localization from the Semantic Code Search Perspective
by: Qin, Yihao, et al.
Published: (2024)

Adversarial Reasoning for Repair Based on Inferred Program Intent
by: Ye, He, et al.
Published: (2025)

AutoMerge: Search-Based Model Merging Framework for Effective Model Reuse
by: Lu, You, et al.
Published: (2026)

TSAPR: A Tree Search Framework For Automated Program Repair
by: Hu, Haichuan, et al.
Published: (2025)

Inferring Code Correctness from Specification
by: Florian, Tambon, et al.
Published: (2026)

ZTaint-Havoc: From Havoc Mode to Zero-Execution Fuzzing-Driven Taint Inference
by: Xie, Yuchong, et al.
Published: (2025)

No Man is an Island: Towards Fully Automatic Programming by Code Search, Code Generation and Program Repair
by: Zhang, Quanjun, et al.
Published: (2024)

Search-Based Quantum Program Testing via Commuting Pauli String
by: Muqeet, Asmar, et al.
Published: (2026)

Cross-Domain Deep Code Search with Meta Learning
by: Chai, Yitian, et al.
Published: (2022)

Empowering RepoQA-Agent based on Reinforcement Learning Driven by Monte-carlo Tree Search
by: Li, Guochang, et al.
Published: (2025)

WebTestPilot: Agentic End-to-End Web Testing against Natural Language Specification by Inferring Oracles with Symbolized GUI Elements
by: Teoh, Xiwen, et al.
Published: (2026)

Improving Code Search with Hard Negative Sampling Based on Fine-tuning
by: Dong, Hande, et al.
Published: (2023)

Lares: LLM-driven Code Slice Semantic Search for Patch Presence Testing
by: Li, Siyuan, et al.
Published: (2025)

You Augment Me: Exploring ChatGPT-based Data Augmentation for Semantic Code Search
by: Wang, Yanlin, et al.
Published: (2024)

Revisiting Code Search in a Two-Stage Paradigm
by: Hu, Fan, et al.
Published: (2022)

Tackling Long Code Search with Splitting, Encoding, and Aggregating
by: Hu, Fan, et al.
Published: (2022)

Integrating Symbolic Execution with LLMs for Automated Generation of Program Specifications
by: Yang, Fanpeng, et al.
Published: (2025)

Inferring Non-Failure Conditions for Declarative Programs
by: Hanus, Michael
Published: (2024)

CLARC: C/C++ Benchmark for Robust Code Search
by: Wang, Kaicheng, et al.
Published: (2026)

Combating Missed Recalls in E-commerce Search: A CoT-Prompting Testing Approach
by: Wu, Shengnan, et al.
Published: (2024)

Deep Code Search with Naming-Agnostic Contrastive Multi-View Learning
by: Feng, Jiadong, et al.
Published: (2024)

Search-based Trace Diagnostic
by: Araujo, Gabriel, et al.
Published: (2024)

The Ballmer Peak: An Empirical Search
by: Stone, Twm, et al.
Published: (2024)

Specification Vibing for Automated Program Repair
by: Zhu, Taohong, et al.
Published: (2026)

Enhancing LLM-based Specification Generation via Program Slicing and Logical Deletion
by: Chen, Zehan, et al.
Published: (2025)

Enhancing Project-Specific Code Completion by Inferring Internal API Information
by: Deng, Le, et al.
Published: (2025)

SALT4Decompile: Inferring Source-level Abstract Logic Tree for LLM-Based Binary Decompilation
by: Wang, Yongpan, et al.
Published: (2025)

SpecEval: Evaluating Code Comprehension in Large Language Models via Program Specifications
by: Ma, Lezhi, et al.
Published: (2024)

Smart Contract Vulnerability Detection based on Static Analysis and Multi-Objective Search
by: Li, Dongcheng, et al.
Published: (2024)

Enchanting Program Specification Synthesis by Large Language Models using Static Analysis and Program Verification
by: Wen, Cheng, et al.
Published: (2024)

An Exploratory Study on Just-in-Time Multi-Programming-Language Bug Prediction
by: Li, Zengyang, et al.
Published: (2024)

SpecSyn: LLM-based Synthesis and Refinement of Formal Specifications for Real-world Program Verification
by: Ma, Lezhi, et al.
Published: (2026)

Repair Ingredients Are All You Need: Improving Large Language Model-Based Program Repair via Repair Ingredients Search
by: Zhang, Jiayi, et al.
Published: (2025)

Evaluating Search-Based Software Microbenchmark Prioritization
by: Laaber, Christoph, et al.
Published: (2022)

BinEnhance: An Enhancement Framework Based on External Environment Semantics for Binary Code Search
by: Wang, Yongpan, et al.
Published: (2024)

A Comprehensive Evaluation of Parameter-Efficient Fine-Tuning on Code Smell Detection
by: Zhang, Beiqi, et al.
Published: (2024)