ProCrawl: mining test models from multi-user web applications
Bandera: extracting finite-state models from Java source code