The paper on Automated Blackbox Testing will be presented at the upcoming IEEE Security + Privacy conference http://is.gd/9dzd9