or
Continue with FacebookLooking to list your PhD opportunities? Log in here.
This project is no longer listed on FindAPhD.com and may not be available.
Click here to search FindAPhD.com for PhD studentship opportunities
Dr K Bogdanov
Applications accepted all year round
Self-Funded PhD Students Only
About the Project
State-based software testing generally assumes that an implementation can be represented by an arbitrary machine with a bound on the number of states. Many programs encountered in practice have a far more constrained structure - for instance, any specific operation may only be attempted in some cases. Exploiting such structure has made numerous static analysis techniques quite successful. This project aims at the use of reverse-engineering methods for identification of software structure with the aim to automate test generation.
