Fuzzing as the basis for effective development a case study of LuaJIT [video]