Browse by author
Lookup NU author(s): Dr Linas Laibinis,
Dr Alexei Iliasov,
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
Pages: epub ahead of print
Online publication date: 14/01/2021
Acceptance date: 06/01/2021
Date deposited: 01/02/2021
ISSN (print): 0018-9529
ISSN (electronic): 1558-1721
Altmetrics provided by Altmetric