ZHONG JUNZHU

System and method for monitoring and verifying software behavior