Verifyter develops and markets PinDown, an automatic debugger of regression failures, powered by machine learning