Korf, R. How Do You Know Your Search Algorithm and Code Are Correct?. SOCS 2014, 5, 200-201.