Cover Image

The ACPATH Metric: Precise Estimation of the Number of Acyclic Paths in C-like Languages

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Bagnara, Roberto, Bagnara, Abramo, Benedetti, Alessandro, Hill, Patricia M.
Format:	Preprint
Published:	2016
Subjects:	Software Engineering Programming Languages 68N30 D.2.8; D.2.5
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Assessing Reliability of Statistical Maximum Coverage Estimators in Fuzzing
by: Liyanage, Danushka, et al.
Published: (2025)

Methods for evaluating software accessibility
by: Kuz, Mykola, et al.
Published: (2025)

Evaluating Developer-written Unit Test Case Reduction for Java -- A Replication Study
by: Le, Tuan D, et al.
Published: (2025)

Validation of an analyzability model for quantum software: a family of experiments
by: Díaz-Muñoz, Ana, et al.
Published: (2026)

Context Engineering for Multi-Agent LLM Code Assistants Using Elicit, NotebookLM, ChatGPT, and Claude Code
by: Haseeb, Muhammad
Published: (2025)

Comparing Human and LLM Generated Code: The Jury is Still Out!
by: Licorish, Sherlock A., et al.
Published: (2025)

InterEvo-TR: Interactive Evolutionary Test Generation With Readability Assessment
by: Delgado-Pérez, Pedro, et al.
Published: (2024)

Contribution Rate Imputation Theory: A Conceptual Model
by: Bishop III, Vincil, et al.
Published: (2024)

Evaluating Software Contribution Quality: Time-to-Modification Theory
by: Bishop III, Vincil, et al.
Published: (2024)

Utilization of Pre-trained Language Model for Adapter-based Knowledge Transfer in Software Engineering
by: Saberi, Iman, et al.
Published: (2023)

DRS-OSS: Practical Diff Risk Scoring with LLMs
by: Sayedsalehi, Ali, et al.
Published: (2025)

A semantic mutation metric for metamorphic relation adequacy in scientific computing programs
by: Li, Meng, et al.
Published: (2026)

AdvFusion: Adapter-based Knowledge Transfer for Code Summarization on Code Language Models
by: Saberi, Iman, et al.
Published: (2023)

Making Software Metrics Useful
by: Tempero, Ewan, et al.
Published: (2026)

Framework Matters: Energy Efficiency of UI Automation Testing Frameworks
by: Lagermann, Timmie M. R., et al.
Published: (2025)

Model Contribution Rate Theory: An Empirical Examination
by: Bishop, Vincil, et al.
Published: (2024)

GBM Returns the Best Prediction Performance among Regression Approaches: A Case Study of Stack Overflow Code Quality
by: Licorish, Sherlock A., et al.
Published: (2025)

TDAD: Test-Driven Agentic Development - Reducing Code Regressions in AI Coding Agents via Graph-Based Impact Analysis
by: Alonso, Pepe, et al.
Published: (2026)

Conflict Essences for Transformation Rules with Nested Application Conditions -- Long Version
by: Lauer, Alexander, et al.
Published: (2026)

Large Language Models in Software Documentation and Modeling: A Literature Review and Findings
by: Radosky, Lukas, et al.
Published: (2026)

Generative AI and the Transformation of Software Development Practices
by: Acharya, Vivek
Published: (2025)

GitHub Copilot and Developer Productivity: An Observational Dose-Response Analysis
by: Heilman, Alex, et al.
Published: (2026)

Finding a Crab in the C: Assured Translation via Comparative Symbolic Execution
by: Helbling, Caleb, et al.
Published: (2026)

cozy: Comparative Symbolic Execution for Binary Programs
by: Helbling, Caleb, et al.
Published: (2025)

RepoAudit: An Autonomous LLM-Agent for Repository-Level Code Auditing
by: Guo, Jinyao, et al.
Published: (2025)

NOETHER: A Constructive Framework for Metamorphic Pattern Discovery from Operator Algebras
by: Li, Meng, et al.
Published: (2026)

Preprocessing is All You Need: Boosting the Performance of Log Parsers With a General Preprocessing Framework
by: Qin, Qiaolin, et al.
Published: (2024)

Directed Grammar-Based Test Generation
by: Kirschner, Lukas, et al.
Published: (2025)

Evaluating the Overhead of the Performance Profiler Cloudprofiler With MooBench
by: Yang, Shinhyung, et al.
Published: (2024)

Mind the Metrics: Patterns for Telemetry-Aware In-IDE AI Application Development using the Model Context Protocol (MCP)
by: Koc, Vincent, et al.
Published: (2025)

Stabilization Without Simplification: A Two-Dimensional Model of Software Evolution
by: Furukawa, Masaru
Published: (2026)

From Monolith to Microservices: A Comparative Evaluation of Decomposition Frameworks
by: Weerasinghe, Mineth, et al.
Published: (2026)

Synthesizing Precise Protocol Specs from Natural Language for Effective Test Generation
by: Liu, Kuangxiangzi, et al.
Published: (2025)

Kodezi Chronos: A Debugging-First Language Model for Repository-Scale Code Understanding
by: Khan, Ishraq, et al.
Published: (2025)

LLMDFA: Analyzing Dataflow in Code with Large Language Models
by: Wang, Chengpeng, et al.
Published: (2024)

Software Testing at the Network Layer: Automated HTTP API Quality Assessment and Security Analysis of Production Web Applications
by: Mughal, Ali Hassaan, et al.
Published: (2026)

Dual-Process Scaffold Reasoning for Enhancing LLM Code Debugging
by: Hsieh, Po-Chung, et al.
Published: (2025)

Three Decades of Formal Methods in Business Process Compliance: A Systematic Literature Review
by: López, Hugo A., et al.
Published: (2024)

Chain-Oriented Objective Logic with Neural Network Feedback Control and Cascade Filtering for Dynamic Multi-DSL Regulation
by: Han, Jipeng
Published: (2024)

OODEval: Evaluating Large Language Models on Object-Oriented Design
by: Xiao, Bingxu, et al.
Published: (2026)