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

Celý popis

Podrobná bibliografie

Vydáno v:	Automated software engineering Ročník 26; číslo 4; s. 795 - 837
Hlavní autoři:	Legunsen, Owolabi, Al Awar, Nader, Xu, Xinyue, Hassan, Wajih Ul, Roşu, Grigore, Marinov, Darko
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	New York Springer US 01.12.2019 Springer Nature B.V
Témata:	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
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!