Towards automated oracles for GUI input validation
Proceedings of the 6th International Workshop on Automation of Software Test
Empirical Software Engineering
Hi-index | 0.00 |
Verification is usually performed on a high-level view of the software, either specification or program source code. However in certain circumstances verification is more relevant when performed at the machine code level. This paper focuses on automatic ...