Enhanced symbolic execution for patch testing and document recovery
Software plays an important role in everyday life, from consumer applications to mission-critical systems. This richness of functionality, however, comes at the price of complexity. Even though software systems are developed manually, they are increasingly too complex to be fully understood by any s...
| Main Author: | |
|---|---|
| Other Authors: | |
| Published: |
Imperial College London
2016
|
| Subjects: | |
| Online Access: | https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.739615 |