Thesis Topic Details
Topic ID: |
3314 | |
Title: |
Automated Test Generation with Static Analysis | |
Supervisor: |
Ralf Huuck | |
Research Area: |
Formal Methods, Modelling, Software Engineering | |
| Associated Staff | ||
|---|---|---|
Assessor: |
Kai Engelhardt | |
| Topic Details | ||
Status: |
Active | |
Type: |
R & D | |
Programs: |
CS CE SE | |
Group Suitable: |
Yes | |
Industrial: |
||
Pre-requisites: |
-- | |
Description: |
The goal of this thesis is to explore how white box unit testing can be advanced by using automated software analysis techniques such as model checking, static analysis and SMT solving. In particular, it should be investigated if semantic information can be used to create more efficient unit tests. |
|
Comments: |
-- | |
| Past Student Reports | ||
| Dean Rodney Charles MCGREGOR in s2, 2012 Automated Test Generation with Static Analysis |
||
Download report from the CSE Thesis Report Library NOTE: only current CSE students can login to view and select reports to download. | ||