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.