Mutation Testing for Rule-Based Verification of Railway Signaling Data (2021)

First Author: Laibinis L
Attributed to:  STRATA; Layers for Structuring Trustworthy Ambient Systems funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1109/tr.2020.3047462

Publication URI: http://dx.doi.org/10.1109/tr.2020.3047462

Type: Journal Article/Review

Parent Publication: IEEE Transactions on Reliability

Issue: 2