Lightweight verification of array indexing.

Martin Kellogg Vlastimil Dort Suzanne Millstein Michael D. Ernst

Published in: ISSTA (2018)

Keyphrases

lightweight
information retrieval
development environments
wireless sensor networks
model checking
indexing method
database
communication infrastructure
data driven
indexing techniques
similarity measure
mobile phone
authentication protocol
handheld devices