A Taxonomy of Model-Based Testing for Embedded Systems from Multiple Industry DomainsJustyna Zander, Ina Schieferdecker, Pieter J. Mosterman20113 Excerpts
A Top-Down Methodology for the Development of Automotive SoftwareM. Feilkas, A. Fleischmann, +12 authors David Trachtenherz2009
Specifying the worst case: orthogonal modeling of hardware errorsJewgenij Botaschanjan, Benjamin HummelISSTA20091 Excerpt
Combining Structural and Functional Test Case GenerationChristian Pfaller, Markus PisterSoftware Engineering2008
Requirements-based Test Case Specification by Using Information from Model ConstructionChristian PfallerAST20083 Excerpts
Integration von Modellen in einen codebasierten SoftwareentwicklungsprozessHans Grönniger, Holger Krahn, Bernhard Rumpe, Martin SchindlerModellierung2006
On the Integration of Design and Test: A Model-Based Approach for Embedded SystemsChristian Pfaller, Andreas Fleischmann, Judith Hartmann, Martin Rappl, Sabine Rittmann, Doris WildAST20063 Excerpts