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...
Main Author: | Marinescu, Paul Dan |
---|---|
Other Authors: | Cadar, Cristian |
Published: |
Imperial College London
2014
|
Subjects: | |
Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.650721 |
Similar Items
-
Enhanced symbolic execution for patch testing and document recovery
by: Kuchta, Tomasz
Published: (2016) -
SymbexNet : checking network protocol implementations using symbolic execution
by: Song, JaeSeung
Published: (2013) -
Symbolic execution of verification languages and floating-point code
by: Liew, Daniel Simon
Published: (2017) -
Support for flexible and transparent distributed computing
by: Liu, H.
Published: (2010) -
Design for a Symbol Processing Associative Store
by: Winn, G. C. E.
Published: (1977)