https://1library.org/document/qvjddo1q-using-dynamic-analysis-bytecode-evolutionary-object-oriented-testing.html