Sign in
How effective are existing Java API specifications for finding bugs during runtime verification?
Owolabi Legunsen
Nader Al Awar
Xinyue Xu
Wajih Ul Hassan
Grigore Rosu
Darko Marinov
Published in:
Autom. Softw. Eng. (2019)
Keyphrases
</>
source code
open source
high level
concurrent systems
object oriented
model checking
database
databases
database systems
lightweight
static analysis
java card
cross platform
asynchronous circuits