Testing embedded software.2003