How effective are existing Java API specifications for finding bugs during runtime verification?

Runtime verification can be used to find bugs early, during software development, by monitoring test executions against formal specifications (specs). The quality of runtime verification depends on the quality of the specs. While previous research has produced many specs for the Java API, manually o...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Automated software engineering Jg. 26; H. 4; S. 795 - 837
Hauptverfasser:	Legunsen, Owolabi, Al Awar, Nader, Xu, Xinyue, Hassan, Wajih Ul, Roşu, Grigore, Marinov, Darko
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	New York Springer US 01.12.2019 Springer Nature B.V
Schlagworte:	Application programming interface Artificial Intelligence Computer Science Effectiveness False alarms Formal specifications Software development Software Engineering/Programming and Operating Systems Verification Violations Software testing Monitoring-oriented programming Specification quality Empirical study Runtime verification
ISSN:	0928-8910, 1573-7535
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!