YU WANGYANG

System and method for monitoring and verifying software behavior