Survey of Dynamic Analysis Based Program Invariant Synthesis Techniques

Published in Journal of Software (In Chinese) 2020,31(6), 2019