Cover Image

Framework and Methodology for Verification of a Complex Scientific Simulation Software, Flash-X

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Dhruv, Akash, Jain, Rajeev, O'Neal, Jared, Weide, Klaus, Dubey, Anshu
Format:	Preprint
Published:	2023
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Leveraging Large Language Models for Code Translation and Software Development in Scientific Computing
by: Dhruv, Akash, et al.
Published: (2024)

Adding New Capability in Existing Scientific Application with LLM Assistance
by: Dubey, Anshu, et al.
Published: (2025)

CG-Kit: Code Generation Toolkit for Performant and Maintainable Variants of Source Code Applied to Flash-X Hydrodynamics Simulations
by: Rudi, Johann, et al.
Published: (2024)

A Methodological Framework for LLM-Based Mining of Software Repositories
by: De Martino, Vincenzo, et al.
Published: (2025)

Vision: An Extensible Methodology for Formal Software Verification in Microservice Systems
by: Wojtak, Connor, et al.
Published: (2025)

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

Characterizing the Usefulness of Code Review Comments in Scientific Software for Software Quality and Scientific Rigor
by: Ahmed, Sharif, et al.
Published: (2026)

Toward a Cohesive AI and Simulation Software Ecosystem for Scientific Innovation
by: Heroux, Michael A., et al.
Published: (2024)

Exploring Scientific Debt: Harnessing AI for SATD Identification in Scientific Software
by: Melin, Eric L., et al.
Published: (2025)

Selene: Pioneering Automated Proof in Software Verification
by: Zhang, Lichen, et al.
Published: (2024)

Combining Tests and Proofs for Better Software Verification
by: Huang, Li, et al.
Published: (2026)

Uncovering Scientific Software Sustainability through Community Engagement and Software Quality Metrics
by: Ahmed, Sharif, et al.
Published: (2025)

A Unifying Framework to Enable Artificial Intelligence in High Performance Computing Workflows
by: Domke, Jens, et al.
Published: (2025)

ORCHA -- A Performance Portability System for Post-Exascale Systems
by: Lee, Youngjun, et al.
Published: (2025)

From Verification to Herding: Exploiting Software's Sparsity of Influence
by: Menzies, Tim, et al.
Published: (2026)

Using Assurance Cases to Guide Verification and Validation of Research Software
by: Smith, W. Spencer, et al.
Published: (2024)

Outsourcing in Global Software Development: Effects of Temporal Location and Methodologies
by: Looi, Mark, et al.
Published: (2026)

Securing the Software Package Supply Chain for Critical Systems
by: Murali, Ritwik, et al.
Published: (2025)

Designing Software with Complex Configurations
by: Cunha, Alcino
Published: (2024)

Supporting Software Formal Verification with Large Language Models: An Experimental Study
by: Wang, Weiqi, et al.
Published: (2025)

Unveiling the Energy Vampires: A Methodology for Debugging Software Energy Consumption
by: Roque, Enrique Barba, et al.
Published: (2024)

Revolutionizing Validation and Verification: Explainable Testing Methodologies for Intelligent Automotive Decision-Making Systems
by: Eris, Halit, et al.
Published: (2025)

Assessing Large Language Models for Stabilizing Numerical Expressions in Scientific Software
by: Nguyen, Tien, et al.
Published: (2026)

Automatically Detecting Heterogeneous Bugs in High-Performance Computing Scientific Software
by: Davis, Matthew, et al.
Published: (2025)

Multi-Artifact Analysis of Self-Admitted Technical Debt in Scientific Software
by: Melin, Eric L., et al.
Published: (2026)

When Code Becomes Abundant: Redefining Software Engineering Around Orchestration and Verification
by: Kohl, Karina, et al.
Published: (2026)

The AI-Native Software Development Lifecycle: A Theoretical and Practical New Methodology
by: Hymel, Cory
Published: (2024)

Exploring Sustainability in Scientific Software through Code Quality & Test Coverage Metrics
by: Rahman, Sheikh Md. Mushfiqur, et al.
Published: (2026)

How to Sustain a Scientific Open-Source Software Ecosystem: Learning from the Astropy Project
by: Sun, Jiayi, et al.
Published: (2024)

Scientific Open-Source Software Is Less Likely to Become Abandoned Than One Might Think! Lessons from Curating a Catalog of Maintained Scientific Software
by: Thakur, Addi Malviya, et al.
Published: (2025)

Component Based Systems: A Novel Methodology in Software Engineering
by: Usama Quadri Syed
Published: (2019)

The Software Engineering Simulations Lab: Agentic AI for RE Quality Simulations
by: Femmer, Henning, et al.
Published: (2025)

Teaching Simulation as a Research Method in Empirical Software Engineering
by: de França, Breno Bernard Nicolau, et al.
Published: (2025)

Self-Admitted Technical Debt in Scientific Software: Prioritization, Sentiment, and Propagation Across Artifacts
by: Melin, Eric L., et al.
Published: (2026)

Data Augmentation for Improving Emotion Recognition in Software Engineering Communication
by: Imran, Mia Mohammad, et al.
Published: (2022)

Navigating the Complexity of Generative AI Adoption in Software Engineering
by: Russo, Daniel
Published: (2023)

CARLOS: An Open, Modular, and Scalable Simulation Framework for the Development and Testing of Software for C-ITS
by: Geller, Christian, et al.
Published: (2024)

From Ad-Hoc Scripts to Orchestrated Pipelines: Architecting a Resilient ELT Framework for Developer Productivity Metrics
by: Agrawal, Yuvraj, et al.
Published: (2026)

Model-Guided Fieldwork: A Practical, Methodological and Philosophical Investigation in the use of Ethnomethodology for Engineering Software Requirements
by: Hinds, Chris
Published: (2024)

ATRAF-driven IMRaD Methodology: Tradeoff and Risk Analysis of Software Architectures Across Abstraction Levels
by: Hassouna, Amine Ben
Published: (2025)