Shanling Li, Zhanwei Hui: A model based program comparison test method. DSA 2020: 47-48