Combining Genetic Programming and Model Checking to Generate Environment Assumptions

Software verification may yield spurious failures when environment assumptions are not accounted for. Environment assumptions are the expectations that a system or a component makes about its operational environment and are often specified in terms of conditions over the inputs of that system or com...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	arXiv.org 2021-01
Hauptverfasser:	Gaaloul, Khouloud, Menghi, Claudio, Nejati, Shiva, Briand, Lionel C, Yago Isasi Parache
Format:	Artikel
Sprache:	eng
Schlagworte:	Cyber-physical systems Genetic algorithms Program verification (computers) Public domain Satellite control
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!