Systematic Test Data Generation for Embedded Software. - Justyna Zander-Nowicka; Xuezheng Xiong; Ina Schieferdecker (Software Engineering Research and Practice, 2008)