Multi-objective integer programming approaches for solving the multi-criteria test-suite minimization problem: Towards sound and complete solutions of a particular …

Y Xue, YF Li - ACM Transactions on Software Engineering and …, 2020 - dl.acm.org
Test-suite minimization is one key technique for optimizing the software testing process. Due
to the need to balance multiple factors, multi-criteria test-suite minimization (MCTSM) …

Concolic fault abstraction

C Oh, M Schäf, D Schwartz-Narbonne… - 2014 IEEE 14th …, 2014 - ieeexplore.ieee.org
An integral part of all debugging activities is the task of diagnosing the cause of an error.
Most existing fault diagnosis techniques rely on the availability of high quality test suites …