Cover Image

Docker-based CI/CD for Rocq/OCaml projects

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Martin-Dorel, Érik
Format:	Preprint
Published:	2025
Subjects:	Software Engineering D.2.4; K.6.3
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Integrating DAST in Kanban and CI/CD: A Real World Security Case Study
by: Thool, Arpit, et al.
Published: (2025)

EMRGF: A Practitioner Framework for Governance-Driven Enterprise Technology Modernization
by: Punihani, Harveen
Published: (2026)

RSMM: A Framework to Assess Maturity of Research Software Project
by: Deekshitha, et al.
Published: (2024)

AI Observability for Developer Productivity Tools: Bridging Cost Awareness and Code Quality
by: Bhati, Happy, et al.
Published: (2026)

FAIRSECO: An Extensible Framework for Impact Measurement of Research Software
by: Deekshitha, et al.
Published: (2024)

PatchTrack: A Comprehensive Analysis of ChatGPT's Influence on Pull Request Outcomes
by: Ogenrwot, Daniel, et al.
Published: (2025)

Refactoring-Aware Patch Integration Across Structurally Divergent Java Forks
by: Ogenrwot, Daniel, et al.
Published: (2025)

Invisible Labor in Open Source Software Ecosystems
by: Meluso, John, et al.
Published: (2024)

Empirical Investigation of the Relationship Between Design Smells and Role Stereotypes
by: Ogenrwot, Daniel, et al.
Published: (2024)

Automated Detection of Algorithm Debt in Deep Learning Frameworks: An Empirical Study
by: Simon, Emmanuel Iko-Ojo, et al.
Published: (2024)

Challenges in Understanding the Relationship between Teamwork Quality and Project Success in Large-Scale Agile Projects
by: Dingsøyr, Torgeir, et al.
Published: (2024)

Coding With AI: From a Reflection on Industrial Practices to Future Computer Science and Software Engineering Education
by: Chang, Hung-Fu, et al.
Published: (2025)

ModuleGuard:Understanding and Detecting Module Conflicts in Python Ecosystem
by: Zhu, Ruofan, et al.
Published: (2024)

LLM-based Behaviour Driven Development for Hardware Design
by: Drechsler, Rolf, et al.
Published: (2025)

Beyond the Tip of the Iceberg: Understanding SATD in Dockerfiles through the Lens of Co-evolution
by: Minn, Wei, et al.
Published: (2026)

Streamlining Security Vulnerability Triage with Large Language Models
by: Torkamani, Mohammad Jalili, et al.
Published: (2025)

SemLoc: Structured Grounding of Free-Form LLM Reasoning for Fault Localization
by: Yang, Zhaorui, et al.
Published: (2026)

Augmenting software engineering with AI and developing it further towards AI-assisted model-driven software engineering
by: Schieferdecker, Ina K.
Published: (2024)

Implementing AI Bill of Materials (AI BOM) with SPDX 3.0: A Comprehensive Guide to Creating AI and Dataset Bill of Materials
by: Bennet, Karen, et al.
Published: (2025)

Dynamics of Gender Bias in Software Engineering
by: Misa, Thomas J.
Published: (2025)

Validating Solidity Code Defects using Symbolic and Concrete Execution powered by Large Language Models
by: Susan, Ştefan-Claudiu, et al.
Published: (2025)

GUI Element Detection Using SOTA YOLO Deep Learning Models
by: Daneshvar, Seyed Shayan, et al.
Published: (2024)

The AI Codebase Maturity Model: From Assisted Coding to Fully Autonomous Systems
by: Anderson, Andy
Published: (2026)

ASSERTIFY: Utilizing Large Language Models to Generate Assertions for Production Code
by: Torkamani, Mohammad Jalili, et al.
Published: (2024)

The Productivity-Reliability Paradox: Specification-Driven Governance for AI-Augmented Software Development
by: Farrag, Sabry E.
Published: (2026)

Closed-Loop Autonomous Software Development via Jira-Integrated Backlog Orchestration: A Case Study in Deterministic Control and Safety-Constrained Automation
by: Calboreanu, Elias
Published: (2026)

Incidents During Microservice Decomposition: A Case Study
by: Eldenk, Doğaç, et al.
Published: (2025)

A Never-Ending Story: Revisiting Requirements Major Misunderstandings
by: Leite, Julio Cesar
Published: (2025)

Understanding the Effectiveness of LLMs in Automated Self-Admitted Technical Debt Repayment
by: Sheikhaei, Mohammad Sadegh, et al.
Published: (2025)

Detecção de Conflitos Semânticos com Testes Gerados por LLM
by: Barbosa, Nathalia, et al.
Published: (2025)

Generating Highly Structured Test Inputs Leveraging Constraint-Guided Graph Refinement
by: Yang, Zhaorui, et al.
Published: (2025)

Towards an Incident Management Framework in Proprietary Software Ecosystems
by: Costa, L. A., et al.
Published: (2024)

Small is Beautiful: A Practical and Efficient Log Parsing Framework
by: Wang, Minxing, et al.
Published: (2026)

TrajAudit: Automated Failure Diagnosis for Agentic Coding Systems
by: Wang, Minxing, et al.
Published: (2026)

EpiDroid: Dependency-Guided Recomposition for Deep State Discovery in Mobile GUI Testing
by: Song, Jiahui, et al.
Published: (2026)

A Non-Destructive Methodological Framework for Modernizing Legacy Clinical Reporting Systems for AI-Driven Pharmacoinformatics: A SAS Case Study
by: Yan, Jaime
Published: (2026)

A Structured Evaluation Framework for Low-Code Platform Selection: A Multi-Criteria Decision Model for Enterprise Digital Transformation
by: Lamanna, Antonio
Published: (2025)

Recommended Practices for Spreadsheet Testing
by: Panko, Raymond R.
Published: (2007)

Trustful Coopetitive Infrastructures for the New Space Exploration Era
by: Baima, Renan Lima, et al.
Published: (2024)

Automating the Detection of Code Vulnerabilities by Analyzing GitHub Issues
by: Cipollone, Daniele, et al.
Published: (2025)