Media type: E-Article Title: An automated testing experiment for layered embedded C code Contributor: Chetali, Boutheina; Nguyen, Quang-Huy Published: Springer Science and Business Media LLC, 2009 Published in: International Journal on Software Tools for Technology Transfer, 11 (2009) 3, Seite 175-185 Language: English DOI: 10.1007/s10009-009-0108-3 ISSN: 1433-2779; 1433-2787 Keywords: Information Systems ; Software Origination: Footnote: