Test Case Generation for Cross-Blockchain Smart Contract.

Jiahao Gong Shunhui Ji Pengcheng Zhang

Published in: APSEC (2023)

Keyphrases

test case generation
test cases
object oriented systems
software testing
test data generation
test suite
object oriented
java programs
simulated annealing algorithm
supply chain
genetic programming
formal specification
static analysis
artificial intelligence
software maintenance
software systems
cooperative