Xest: an automated framework for regression testing of embedded software. - Matthew H. Netkow; Dennis Brylow (WESE, 2010)