Transparently improving regression testing using symbolic execution

Software testing is an expensive and time-consuming process, often involving the manual creation of comprehensive regression test suites. Current testing methodologies, however, do not take full advantage of these tests. In this thesis, we present two techniques for amplifying the effect of existing...

Full description

Bibliographic Details
Main Author: Marinescu, Paul Dan
Other Authors: Cadar, Cristian
Published: Imperial College London 2014
Subjects:
004
Online Access:http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.650721