Interactive specification mining for debugging embedded software systems