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...

Full description

Bibliographic Details

Published in:	Automated software engineering Vol. 26; no. 4; pp. 795 - 837
Main Authors:	Legunsen, Owolabi, Al Awar, Nader, Xu, Xinyue, Hassan, Wajih Ul, Roşu, Grigore, Marinov, Darko
Format:	Journal Article
Language:	English
Published:	New York Springer US 01.12.2019 Springer Nature B.V
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!