Automated software testing as a service
DART: directed automated random testing