Extended Code Coverage for AspectJ-Based Runtime Verification Tools.

Omar Javed Yudi Zheng Andrea Rosà Haiyang Sun Walter Binder

Published in: RV (2016)

Keyphrases

test generation
formal methods
code coverage
database
databases
end users
test cases
model checking
software testing