ProCrawl: mining test models from multi-user web applications
Automatic generation of software behavioral models