Imagen de Portada

A formal definition of loop unrolling with applications to test coverage

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Meyer, Bertrand
Formato:	Preprint
Publicado:	2024
Materias:	Software Engineering
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Loop unrolling: formal definition and application to testing
por: Huang, Li, et al.
Publicado: (2025)

The nature of loops in programming
por: Meyer, Bertrand
Publicado: (2025)

Software Engineering as a Domain to Formalize
por: Meyer, Bertrand
Publicado: (2025)

BUGFIX: towards a common language and framework for the AutomaticProgram Repair community
por: Meyer, Bertrand, et al.
Publicado: (2024)

Bugfix: a standard language, database schema and repository for research on bugs and automatic program repair
por: Kananchuk, Victoria, et al.
Publicado: (2025)

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

Execution-free Program Repair
por: Huang, Li, et al.
Publicado: (2024)

UOOR: Seamless and Traceable Requirements
por: Naumcheva, Maria, et al.
Publicado: (2025)

How fair are we? From conceptualization to automated assessment of fairness definitions
por: d'Aloisio, Giordano, et al.
Publicado: (2024)

HITS: High-coverage LLM-based Unit Test Generation via Method Slicing
por: Wang, Zejun, et al.
Publicado: (2024)

Programming Really Is Simple Mathematics
por: Meyer, Bertrand, et al.
Publicado: (2025)

Coverage measurement in model-based testing of web applications: Tool support and an industrial experience report
por: Garousi, Vahid, et al.
Publicado: (2024)

The development and deployment of formal methods in the UK
por: Jones, Cliff B., et al.
Publicado: (2020)

A Python workflow definition for computational materials design
por: Janssen, Jan, et al.
Publicado: (2025)

FuSeBMC v4: Improving code coverage with smart seeds via BMC, fuzzing and static analysis
por: Alshmrany, Kaled M., et al.
Publicado: (2022)

Augmenting unit test suites from integration tests
por: Paltoglou, Katerina, et al.
Publicado: (2026)

PROSKILL: A formal skill language for acting in robotics
por: Ingrand, Félix
Publicado: (2024)

A higher-order transformation approach to the formalization and analysis of BPMN using graph transformation systems
por: Kräuter, Tim, et al.
Publicado: (2023)

Do AI models help produce verified bug fixes?
por: Huang, Li, et al.
Publicado: (2025)

Quality attributes of test cases and test suites -- importance & challenges from practitioners' perspectives
por: Tran, Huynh Khanh Vi, et al.
Publicado: (2025)

Assessing test artifact quality -- A tertiary study
por: Tran, Huynh Khanh Vi, et al.
Publicado: (2024)

The role of slicing in test-driven development
por: Dieste, Oscar, et al.
Publicado: (2024)

Enhancing non-Perl bioinformatic applications with Perl: Building novel, component based applications using Object Orientation, PDL, Alien, FFI, Inline and OpenMP
por: Argyropoulos, Christos
Publicado: (2024)

Leveraging LLMs to support co-evolution between definitions and instances of textual DSLs: A Systematic Evaluation
por: Zhang, Weixing, et al.
Publicado: (2026)

Benchmarking formalisms for dynamic structure system Modeling and Simulation
por: Attia, Aya, et al.
Publicado: (2024)

Observation-based unit test generation at Meta
por: Alshahwan, Nadia, et al.
Publicado: (2024)

On (Mis)perceptions of testing effectiveness: an empirical study
por: Vegas, Sira, et al.
Publicado: (2024)

Example-driven development: bridging tests and documentation
por: Nierstrasz, Oscar, et al.
Publicado: (2024)

A test-free semantic mistakes localization framework in Neural Code Translation
por: Chen, Lei, et al.
Publicado: (2024)

Gamified GUI testing with Selenium in the IntelliJ IDE: A Prototype Plugin
por: Garaccione, Giacomo, et al.
Publicado: (2024)

WITNESS: A lightweight and practical approach to fine-grained predictive mutation testing
por: Lu, Zeyu, et al.
Publicado: (2025)

An approach for performance requirements verification and test environments generation
por: Abdeen, Waleed, et al.
Publicado: (2024)

LLMShot: Reducing snapshot testing maintenance via LLMs
por: Kaynak, Ergün Batuhan, et al.
Publicado: (2025)

AI-powered software testing tools: A systematic review and empirical assessment of their features and limitations
por: Garousi, Vahid, et al.
Publicado: (2024)

Size biased Multinomial Modelling of detection data in Software testing
por: Ghosh, Pallabi, et al.
Publicado: (2024)

Latent Mutants: A large-scale study on the Interplay between mutation testing and software evolution
por: Sohn, Jeongju, et al.
Publicado: (2025)

Agents4PLC: Automating Closed-loop PLC Code Generation and Verification in Industrial Control Systems using LLM-based Agents
por: Liu, Zihan, et al.
Publicado: (2024)

PSALM: applying Proportional SAmpLing strategy in Metamorphic testing
por: Zhou, Zenghui, et al.
Publicado: (2025)

Risk-based test framework for LLM features in regulated software
por: Zhou, Zhiyin
Publicado: (2026)

A first look at ROS 2 applications written in asynchronous Rust
por: Škoudlil, Martin, et al.
Publicado: (2025)