AI-Powered Whitebox Testing in Action