Maintenance of Automated Test Suites in Industry: An Empirical study on Visual GUI Testing
Symbolic execution for software testing in practice: preliminary assessment