The BORG
Matthias Neugschwandtner, Paolo Milani Comparetti, Istvan Haller, Herbert Bos · 2015
Automated program testing tools typically try to explore, and cover, as much of a tested program as possible, while attempting to trigger and detect bugs. An alternative and complementary approach can be to first select a specific part of a program that may be subject to a specific class of bug, and then narrowly focus exploration towards program paths that could trigger such a bug.