Please use this identifier to cite or link to this item:
Scopus Web of Science® Altmetric
Type: Conference paper
Title: Improving test coverage of formal verification systems via beam search
Author: Bokhari, M.
Wagner, M.
Citation: Proceedings of the Companion Publication of the 2015 on Genetic and Evolutionary Computation Conference, 2015 / Silva, S., Esparcia-Alcázar, A.I. (ed./s), pp.1357-1358
Publisher: ACM Press
Issue Date: 2015
Series/Report no.: GECCO Companion ’15
ISBN: 9781450334884
Conference Name: Annual Conference on Genetic and Evolutionary Computation (GECCO Companion) (11 Jul 2015 - 15 Jul 2015 : Madrid, Spain)
Editor: Silva, S.
Esparcia-Alcázar, A.I.
Statement of
Mahmoud Bokhari, Markus Wagner
Abstract: The correctness of program verifcation systems is of great importance, since they are used to formally prove that safety- and security-critical programs follow their specifcation. Within these verifcation systems, the background axiomatization captures the semantics of the target program language|errors here can lead to incorrect formal proofs, which in turn can have devastating consequences. Testing the axiomatization thoroughly is one approach to increase the trust in its correctness, however, the manual creation of test cases is a very time-consuming process for verifcation engineers. We present a beam search approach for creating test cases through test case modifcations.
Rights: ©2015 Copyright held by the owner/author(s).
DOI: 10.1145/2739482.2764670
Published version:
Appears in Collections:Aurora harvest 3
Computer Science publications

Files in This Item:
File Description SizeFormat 
  Restricted Access
Restricted Access823.36 kBAdobe PDFView/Open

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.