Model-generator A docker-based infrastructure for generating behavioral models from java source codes and their hand-written test cases