Maximising axiomatization coverage and minimizing regression testing time

Markus Wagner

doi:10.1109/CEC.2014.6900324

Maximising axiomatization coverage and minimizing regression testing time

Markus Wagner

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

4 Citations (Scopus)

Abstract

The correctness of program verification systems is of great importance, as they are used to formally prove that safety- and security-critical programs follow their specification. One of the contributing factors to the correctness of the whole verification system is the correctness of the background axiom-atization, which captures the semantics of the target program language. We present a framework for the maximization of the proportion of the axiomatization that is used ('covered') during testing of the verification tool. The diverse set of test cases found not only increases the trust in the verification system, but it can also be used to reduce the time needed for regression testing.

Original language	English
Title of host publication	Proceedings of the 2014 IEEE Congress on Evolutionary Computation, CEC 2014
Publisher	IEEE, Institute of Electrical and Electronics Engineers
Pages	2885-2892
Number of pages	8
ISBN (Electronic)	9781479914883
DOIs	https://doi.org/10.1109/CEC.2014.6900324
Publication status	Published - 2014
Externally published	Yes
Event	IEEE Congress on Evolutionary Computation 2014 - Beijing, China Duration: 6 Jul 2014 → 11 Jul 2014 https://ieeexplore.ieee.org/xpl/conhome/6880677/proceeding (Proceedings)

Publication series

Name	Proceedings of the 2014 IEEE Congress on Evolutionary Computation, CEC 2014

Conference

Conference	IEEE Congress on Evolutionary Computation 2014
Abbreviated title	IEEE CEC 2014
Country/Territory	China
City	Beijing
Period	6/07/14 → 11/07/14
Internet address	https://ieeexplore.ieee.org/xpl/conhome/6880677/proceeding (Proceedings)

Access to Document

10.1109/CEC.2014.6900324

Cite this

Wagner, M. (2014). Maximising axiomatization coverage and minimizing regression testing time. In Proceedings of the 2014 IEEE Congress on Evolutionary Computation, CEC 2014 (pp. 2885-2892). Article 6900324 (Proceedings of the 2014 IEEE Congress on Evolutionary Computation, CEC 2014). IEEE, Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/CEC.2014.6900324

@inproceedings{39c6a3c8413b419989f660610465735f,

title = "Maximising axiomatization coverage and minimizing regression testing time",

abstract = "The correctness of program verification systems is of great importance, as they are used to formally prove that safety- and security-critical programs follow their specification. One of the contributing factors to the correctness of the whole verification system is the correctness of the background axiom-atization, which captures the semantics of the target program language. We present a framework for the maximization of the proportion of the axiomatization that is used ('covered') during testing of the verification tool. The diverse set of test cases found not only increases the trust in the verification system, but it can also be used to reduce the time needed for regression testing.",

author = "Markus Wagner",

note = "Publisher Copyright: {\textcopyright} 2014 IEEE.; IEEE Congress on Evolutionary Computation 2014, IEEE CEC 2014 ; Conference date: 06-07-2014 Through 11-07-2014",

year = "2014",

doi = "10.1109/CEC.2014.6900324",

language = "English",

series = "Proceedings of the 2014 IEEE Congress on Evolutionary Computation, CEC 2014",

publisher = "IEEE, Institute of Electrical and Electronics Engineers",

pages = "2885--2892",

booktitle = "Proceedings of the 2014 IEEE Congress on Evolutionary Computation, CEC 2014",

address = "United States of America",

url = "https://ieeexplore.ieee.org/xpl/conhome/6880677/proceeding",

}

Wagner, M 2014, Maximising axiomatization coverage and minimizing regression testing time. in Proceedings of the 2014 IEEE Congress on Evolutionary Computation, CEC 2014., 6900324, Proceedings of the 2014 IEEE Congress on Evolutionary Computation, CEC 2014, IEEE, Institute of Electrical and Electronics Engineers, pp. 2885-2892, IEEE Congress on Evolutionary Computation 2014, Beijing, China, 6/07/14. https://doi.org/10.1109/CEC.2014.6900324

Maximising axiomatization coverage and minimizing regression testing time. / Wagner, Markus.
Proceedings of the 2014 IEEE Congress on Evolutionary Computation, CEC 2014. IEEE, Institute of Electrical and Electronics Engineers, 2014. p. 2885-2892 6900324 (Proceedings of the 2014 IEEE Congress on Evolutionary Computation, CEC 2014).

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

TY - GEN

T1 - Maximising axiomatization coverage and minimizing regression testing time

AU - Wagner, Markus

PY - 2014

Y1 - 2014

N2 - The correctness of program verification systems is of great importance, as they are used to formally prove that safety- and security-critical programs follow their specification. One of the contributing factors to the correctness of the whole verification system is the correctness of the background axiom-atization, which captures the semantics of the target program language. We present a framework for the maximization of the proportion of the axiomatization that is used ('covered') during testing of the verification tool. The diverse set of test cases found not only increases the trust in the verification system, but it can also be used to reduce the time needed for regression testing.

AB - The correctness of program verification systems is of great importance, as they are used to formally prove that safety- and security-critical programs follow their specification. One of the contributing factors to the correctness of the whole verification system is the correctness of the background axiom-atization, which captures the semantics of the target program language. We present a framework for the maximization of the proportion of the axiomatization that is used ('covered') during testing of the verification tool. The diverse set of test cases found not only increases the trust in the verification system, but it can also be used to reduce the time needed for regression testing.

UR - http://www.scopus.com/inward/record.url?scp=84908584251&partnerID=8YFLogxK

U2 - 10.1109/CEC.2014.6900324

DO - 10.1109/CEC.2014.6900324

M3 - Conference Paper

AN - SCOPUS:84908584251

T3 - Proceedings of the 2014 IEEE Congress on Evolutionary Computation, CEC 2014

SP - 2885

EP - 2892

BT - Proceedings of the 2014 IEEE Congress on Evolutionary Computation, CEC 2014

PB - IEEE, Institute of Electrical and Electronics Engineers

T2 - IEEE Congress on Evolutionary Computation 2014

Y2 - 6 July 2014 through 11 July 2014

ER -

Maximising axiomatization coverage and minimizing regression testing time

Abstract

Publication series

Conference

Access to Document

Other files and links

Cite this