Evidence-Based Verification of Safety Properties Concerning the Cooperation of Autonomous Agents

Spisländer M, Saglietti F (2018)

Publication Language: English

Publication Type: Conference contribution

Publication year: 2018

Publisher: IEEE

Pages Range: 81-88

Conference Proceedings Title: 44th Euromicro Conference on Software Engineering and Advanced Applications (SEAA)

Event location: Prague (CZ)

ISBN: 978-1-5386-7384-3

DOI: 10.1109/SEAA.2018.00023

Abstract

This article proposes an approach for testing the validity of specific branching time logical properties in arbitrary Extended Finite State Machines not allowing for a systematic and complete analysis by conventional model checking. To do so, a structural testing strategy based on formula-specific coverage criteria is proposed; the generation of test cases achieving such criteria can provide sufficient evidence to derive the validity of existential properties resp. sufficient counter-evidence to derive the invalidity of universal properties expressed in temporal logic.

Authors with CRIS profile

Marc Spisländer Lehrstuhl für Informatik 11 (Software-Engineering) Francesca Saglietti Lehrstuhl für Informatik 11 (Software-Engineering)

How to cite

APA:

Spisländer, M., & Saglietti, F. (2018). Evidence-Based Verification of Safety Properties Concerning the Cooperation of Autonomous Agents. In 44th Euromicro Conference on Software Engineering and Advanced Applications (SEAA) (pp. 81-88). Prague (CZ): IEEE.

MLA:

Spisländer, Marc, and Francesca Saglietti. "Evidence-Based Verification of Safety Properties Concerning the Cooperation of Autonomous Agents." Proceedings of the 44th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2018), Prague (CZ) IEEE, 2018. 81-88.

BibTeX: Download