Time for Networks: Mutation Testing for Timed Automata Networks

Mutation Testing (MT) is a technique employed to assess the efficacy of tests by introducing artificial faults, known as mutations, into the system. The goal is to evaluate how well the tests can detect these mutations. These artificial faults are generated using mutation operators, which produce a...

Full description

Bibliographic Details

Published in:	FME Workshop on Formal Methods in Software Engineering (Online) pp. 44 - 54
Main Authors:	Cortes, David, Ortiz, James, Basile, Davide, Aranda, Jesus, Perrouin, Gilles, Schobbens, Pierre-Yves
Format:	Conference Proceeding
Language:	English
Published:	ACM 14.04.2024
Subjects:	Automata Bisimulation Computer languages Debugging Model-Based Mutation Testing Petri nets Real-time systems Software Software testing UPPAAL
ISSN:	2575-5099
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!