C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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