A Miranskyy - Proceedings of the 1st International Workshop on …, 2022 - dl.acm.org
Software under test can be analyzed dynamically, while it is being executed, to find defects.
However, as the number and possible values of input parameters increase, the cost of …