Formal methods for database schema refactoring
Y Wang - 2020 - repositories.lib.utexas.edu
Database applications typically undergo several schema refactorings during their life cycle
due to performance or maintainability reasons. Such refactorings not only require migrating …
due to performance or maintainability reasons. Such refactorings not only require migrating …
Test Generation and Dependency Analysis for Web Applications
M Biagiola - 2020 - tesidottorato.depositolegale.it
In web application testing existing model based web test generators derive test paths from a
navigation model of the web application, completed with either manually or randomly …
navigation model of the web application, completed with either manually or randomly …