Mutation Testing for Rule-Based Verification of Railway Signaling Data

Linas Laibinis, Alexei Iliasov, Alexander B. Romanovsky. Mutation Testing for Rule-Based Verification of Railway Signaling Data. IEEE Transactions on Reliability, 70(2):676-691, 2021. [doi]

Abstract

Abstract is missing.