PhD Research Project

My Shortlist0

This project is no longer listed in the FindAPhD database
and may not be available.

Click here to view other PhD studentship opportunities at University of Sheffield.

Software testing and reverse-engineering

Institution:

University of Sheffield

Dept/School/Faculty:

Department of Computer Science

PhD Supervisor:

Dr K Bogdanov

Application Deadline:

Applications accepted all year round

Funding Availability:

Self-Funded PhD Students Only

PhD Research Project

Click here to visit the University of Sheffield website

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.

FindAPhD Scholarship available for this PhD opportunity!

We are offering nine Postgraduate Study Scholarships for students wishing to start a PhD in autumn 2013 at any European (EU) institution. Click here for more information on how to register to win a FindAPhD Scholarship.