Don't miss our weekly PhD newsletter | Sign up now Don't miss our weekly PhD newsletter | Sign up now

  Software testing and reverse-engineering


   School of Computer Science

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.

 About the Project