Cover Image

CodoMo: Python Model Checking to Integrate Agile Verification Process of Computer Vision Systems

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Harie, Yojiro, Ogata, Yuto, Prasad, Gautam Bishnu, Wasaki, Katsumi
Format:	Preprint
Published:	2024
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A Case Study on Model Checking and Runtime Verification for Awkernel
by: Hasegawa, Akira, et al.
Published: (2025)

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

Modelling Interrelations Between Agile Practices: The Agile Map
by: Hansper, Thomas, et al.
Published: (2025)

Integrated Modeling, Verification, and Code Generation for Unmanned Aerial Systems
by: Zhang, Jianyu, et al.
Published: (2024)

Multi-Grained Specifications for Distributed System Model Checking and Verification
by: Ouyang, Lingzhi, et al.
Published: (2024)

Advanced approach for Agile/Scrum Process: RetroAI++
by: Spichkova, Maria, et al.
Published: (2025)

AQUA: an Agile Process to Develop Quantum Annealing Applications
by: Marchesi, Lodovica, et al.
Published: (2026)

Formalizing Regression Testing for Agile and Continuous Integration Environments
by: Das, Suddhasvatta, et al.
Published: (2025)

Verification of Digital Twins using Classical and Statistical Model Checking
by: Gunasekaran, Raghavendran, et al.
Published: (2025)

Model Checking and Verification of Synchronisation Properties of Cobot Welding
by: Murray, Yvonne, et al.
Published: (2024)

RefEvo: Agentic Design with Co-Evolutionary Verification for Agile Reference Model Generation
by: Zhang, Yifan, et al.
Published: (2026)

Agile System Development Lifecycle for AI Systems: Decision Architecture
by: Gill, Asif Q.
Published: (2025)

Agile and Student-Centred Teaching of Agile/Scrum Concepts
by: Spichkova, Maria
Published: (2025)

The Agile Coach Role: Coaching for Agile Performance Impact
by: Stray, Viktoria, et al.
Published: (2020)

Overcoming Challenges in Agile and DevOps Integration: A Qualitative Study
by: Fraislebem, Juliana, et al.
Published: (2026)

PyVeritas: On Verifying Python via LLM-Based Transpilation and Bounded Model Checking for C
by: Orvalho, Pedro, et al.
Published: (2025)

Agentic Model Checking
by: Sun, Youcheng, et al.
Published: (2026)

Agile Culture Clash: Unveiling Challenges in Cultivating an Agile Mindset in Organizations
by: Neumann, Michael, et al.
Published: (2024)

An Empirical Study of Large Language Models for Type and Call Graph Analysis in Python and JavaScript
by: Venkatesh, Ashwin Prasad Shivarpatna, et al.
Published: (2024)

ESBMC-Python: A Bounded Model Checker for Python Programs
by: Farias, Bruno, et al.
Published: (2024)

From Education to Evidence: A Collaborative Practice Research Platform for AI-Integrated Agile Development
by: Geger, Tobias, et al.
Published: (2026)

Real-Time Agile Software Management for Edge and Fog Computing Based Smart City Infrastructure
by: Jana, Debasish, et al.
Published: (2025)

Agile Requirement Change Management Model for Global Software Development
by: Koulecar, Neha, et al.
Published: (2024)

PAT-Agent: Autoformalization for Model Checking
by: Zuo, Xinyue, et al.
Published: (2025)

An Integrated Platform for LEED Certification Automation Using Computer Vision and LLM-RAG
by: Lee, Jooyeol
Published: (2025)

Use of Agile Practices in Start-ups
by: Klotins, Eriks, et al.
Published: (2024)

Prototypical Leadership in Agile Software Development
by: Dawood, Jina, et al.
Published: (2024)

Quality Assurance Practices in Agile Methodology
by: Wakili, Almustapha A., et al.
Published: (2024)

Agentic Verification of Software Systems
by: Tu, Haoxin, et al.
Published: (2025)

Using Agile Story Points and Game Theory Together: Better Software Planning and Development in Agile Software Development
by: Bildirici, Fatih, et al.
Published: (2024)

Applying a Requirements-Focused Agile Management Approach for Machine Learning-Enabled Systems
by: Romao, Lucas, et al.
Published: (2026)

Automating Execution and Verification of BPMN+DMN Business Processes
by: Della Penna, Giuseppe, et al.
Published: (2025)

TypeEvalPy: A Micro-benchmarking Framework for Python Type Inference Tools
by: Venkatesh, Ashwin Prasad Shivarpatna, et al.
Published: (2023)

Towards A Double-Edged Sword: Modelling the Impact in Agile Software Development
by: Neumann, Michael, et al.
Published: (2024)

Developing a High-Performance Process Mining Library with Java and Python Bindings in Rust
by: Küsters, Aaron, et al.
Published: (2024)

Collaboration Tools and their Role in Agile Software Projects
by: Hussein, Raman Mohammed, et al.
Published: (2025)

Non Technical Debt in Agile Software Development
by: Ahmad, Muhammad Ovais, et al.
Published: (2025)

Neurodiversity in Agile Teams: Obstacles and Inclusion Barriers
by: Struck, Lars, et al.
Published: (2026)

Fault-Tolerant Design and Multi-Objective Model Checking for Real-Time Deep Reinforcement Learning Systems
by: Su, Guoxin, et al.
Published: (2026)

EZInput: A Cross-Environment Python Library for Easy UI Generation in Scientific Computing
by: Saraiva, Bruno M., et al.
Published: (2026)