Robert Busser

Publication Activity (10 Years)

Years Active: 1998-2006
Publications (10 Years): 0

Publications

Mark R. Blackburn, Robert Busser, Aaron Nauman, Travis R. Morgan
Model-Based Testing in Practice. GI Jahrestagung (2) (2006)
Lisa M. Boden, Robert Busser, Mark R. Blackburn, Aaron Nauman
Extending Simulink Models With Natural Relations To Improve Automated Model-Based Testing. SEW (2005)
Mark R. Blackburn, Robert Busser, Aaron Nauman, Robert Knickerbocker, Richard Kasuda
Mars Polar Lander Fault Identification Using Model-based Testing. ICECCS (2002)
Maha Boughdadi, Robert Busser
An Industrial Application of an Integrated UML and SDL Modeling Technique. COMPSAC (1999)
Mark R. Blackburn, Robert Busser
Requirements for Industrial-Strength Formal Method Tools. WIFT (1998)