Sign in
Verification of Microservices Using Metamorphic Testing.
Gang Luo
Xi Zheng
Huai Liu
Rongbin Xu
Dinesh Nagumothu
Ranjith Janapareddi
Er Zhuang
Xiao Liu
Published in:
ICA3PP (1) (2019)
Keyphrases
</>
test generation
formal verification
symbolic execution
model checking
test cases
real time
data sets
case study
statistical tests
test suite
genetic algorithm
multi agent
data structure
formal analysis
false acceptance rate