Browse by author
Lookup NU author(s): Dr Linas Laibinis, Dr Alexei Iliasov, Emeritus Professor Alexander RomanovskyORCiD
This is the authors' accepted manuscript of an article that has been published in its final definitive form by IEEE , 2021.
For re-use rights please refer to the publisher's terms and conditions.
Industry applications of formal verification to signalling control tables require formulation of a large number of mathematical conjectures expressing verification rules. It is paramount to establish the validity and completeness of these conjectures. The paper discusses a mutation based validation technique that guides domain experts in the construction of such verification rules. Furthermore, we use genetic programming to quickly generate millions of well-formed data mutationsof control tables and to synthesise mutation programs. The technique is illustrated by a synthetic running example and adiscussion of our experience in using it in the industrial setting.
Author(s): Laibinis L, Iliasov A, Romanovsky A
Publication type: Article
Publication status: Published
Journal: IEEE Transactions on Reliability
Year: 2021
Volume: 70
Issue: 2
Pages: 676-691
Print publication date: 01/06/2021
Online publication date: 14/01/2021
Acceptance date: 06/01/2021
Date deposited: 01/02/2021
ISSN (print): 0018-9529
ISSN (electronic): 1558-1721
Publisher: IEEE
URL: https://doi.org/10.1109/TR.2020.3047462
DOI: 10.1109/TR.2020.3047462
Altmetrics provided by Altmetric