Cover Image

Efficient Prime Paths Generation

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Zelek, Jakub, Ruszil, Jakub, Roman, Adam, Polański, Artur
Format:	Preprint
Published:	2026
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Computational Complexity of Edge Coverage Problem for Constrained Control Flow Graphs
by: Ruszil, Jakub, et al.
Published: (2026)

Impact of Code Context and Prompting Strategies on Automated Unit Test Generation with Modern General-Purpose Large Language Models
by: Walczak, Jakub, et al.
Published: (2025)

Re-evaluation of Logical Specification in Behavioural Verification
by: Klimek, Radoslaw, et al.
Published: (2025)

mcdok at SemEval-2026 Task 13: Finetuning LLMs for Detection of Machine-Generated Code
by: Skurla, Adam, et al.
Published: (2026)

Explainable Verification of Hierarchical Workflows Mined from Event Logs with Shapley Values
by: Klimek, Radoslaw, et al.
Published: (2025)

Scikit-fingerprints: easy and efficient computation of molecular fingerprints in Python
by: Adamczyk, Jakub, et al.
Published: (2024)

How I Learned to Stop Worrying and Love ChatGPT
by: Przymus, Piotr, et al.
Published: (2025)

The Secret Life of CVEs
by: Przymus, Piotr, et al.
Published: (2025)

Charting a Path to Efficient Onboarding: The Role of Software Visualization
by: Padoan, Fernando, et al.
Published: (2024)

Rethinking Basis Path Testing: Mixed Integer Programming Approach for Test Path Set Generation
by: Wei, Chao, et al.
Published: (2026)

ROS-related Robotic Systems Development with V-model-based Application of MeROS Metamodel
by: Winiarski, Tomasz, et al.
Published: (2025)

HaPy-Bug -- Human Annotated Python Bug Resolution Dataset
by: Przymus, Piotr, et al.
Published: (2025)

Out of Sight, Still at Risk: The Lifecycle of Transitive Vulnerabilities in Maven
by: Przymus, Piotr, et al.
Published: (2025)

GEMS: Generative Expert Metric System through Iterative Prompt Priming
by: Cheng, Ti-Chung, et al.
Published: (2024)

PathFix: Automated Program Repair with Expected Path
by: He, Xu, et al.
Published: (2025)

Risks and Compliance with the EU's Core Cyber Security Legislation
by: Ruohonen, Jukka, et al.
Published: (2025)

Private GPTs for LLM-driven testing in software development and machine learning
by: Jagielski, Jakub, et al.
Published: (2025)

Test code generation at Ericsson using Program Analysis Augmented Fine Tuned LLMs
by: Krishna, Sai, et al.
Published: (2025)

PathOCL: Path-Based Prompt Augmentation for OCL Generation with GPT-4
by: Abukhalaf, Seif, et al.
Published: (2024)

Clearing the Path for Software Sustainability
by: Gross, Jennifer, et al.
Published: (2024)

Parallel Program Analysis on Path Ranges
by: Haltermanna, Jan, et al.
Published: (2024)

The Second Round: Diverse Paths Towards Software Engineering
by: Hyrynsalmi, Sonja, et al.
Published: (2024)

Hybrid Concolic Testing with Large Language Models for Guided Path Exploration
by: Eslamimehr, Mahdi
Published: (2026)

Automated Static Warning Identification via Path-based Semantic Representation
by: Zhang, Yuwei, et al.
Published: (2023)

Can Large Language Models Solve Path Constraints in Symbolic Execution?
by: Wang, Wenhan, et al.
Published: (2025)

FastLog: An End-to-End Method to Efficiently Generate and Insert Logging Statements
by: Xie, Xiaoyuan, et al.
Published: (2023)

SolSearch: An LLM-Driven Framework for Efficient SAT-Solving Code Generation
by: Sheng, Junjie, et al.
Published: (2025)

When to Stop? Towards Efficient Code Generation in LLMs with Excess Token Prevention
by: Guo, Lianghong, et al.
Published: (2024)

When Continuous Delivery Is Not an Option: Practical Paths to Continuous Engineering in Complex Organizations
by: Klotins, Eriks, et al.
Published: (2025)

Boosting Path-Sensitive Value Flow Analysis via Removal of Redundant Summaries
by: Wang, Yongchao, et al.
Published: (2025)

Lachesis: Predicting LLM Inference Accuracy using Structural Properties of Reasoning Paths
by: Kim, Naryeong, et al.
Published: (2024)

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation
by: Shen, Zhuohang, et al.
Published: (2025)

Toward Green Code: Prompting Small Language Models for Energy-Efficient Code Generation
by: Ashraf, Humza, et al.
Published: (2025)

Exploring the Garden of Forking Paths in Empirical Software Engineering Research: A Multiverse Analysis
by: Cassee, Nathan, et al.
Published: (2025)

Navigating the Labyrinth: Path-Sensitive Unit Test Generation with Large Language Models
by: Liao, Dianshu, et al.
Published: (2025)

WEFix: Intelligent Automatic Generation of Explicit Waits for Efficient Web End-to-End Flaky Tests
by: Liu, Xinyue, et al.
Published: (2024)

E-code: Mastering Efficient Code Generation through Pretrained Models and Expert Encoder Group
by: Pan, Yue, et al.
Published: (2024)

Minimizing False Positives in Static Bug Detection via LLM-Enhanced Path Feasibility Analysis
by: Du, Xueying, et al.
Published: (2025)

A Path Less Traveled: Reimagining Software Engineering Automation via a Neurosymbolic Paradigm
by: Mastropaolo, Antonio, et al.
Published: (2025)

Explain and Monitor Deep Learning Models for Computer Vision using Obz AI
by: Chung, Neo Christopher, et al.
Published: (2025)