Robert Busser

According to our database, Robert Busser authored at least 5 papers between 1998 and 2006.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2006

Model-Based Testing in Practice.

Mark R. Blackburn, Robert Busser, Aaron Nauman, Travis R. Morgan

Proceedings of the 36. Jahrestagung der Gesellschaft für Informatik, 2006

2005

Extending Simulink Models With Natural Relations To Improve Automated Model-Based Testing.

Lisa M. Boden, Robert Busser, Mark R. Blackburn, Aaron Nauman

Proceedings of the 29th Annual IEEE / NASA Software Engineering Workshop (SEW-29 2005), 2005

2002

Mars Polar Lander Fault Identification Using Model-based Testing.

Mark R. Blackburn, Robert Busser, Aaron Nauman, Robert Knickerbocker, Richard Kasuda

Proceedings of the 8th International Conference on Engineering of Complex Computer Systems (ICECCS 2002), 2002

1999

An Industrial Application of an Integrated UML and SDL Modeling Technique.

Maha Boughdadi, Robert Busser

Proceedings of the 23rd International Computer Software and Applications Conference (COMPSAC '99), 1999

1998

Requirements for Industrial-Strength Formal Method Tools.

Mark R. Blackburn, Robert Busser

Proceedings of the 2nd Workshop on Industrial-Strength Formal Specification Techniques (WIFT '98), 1998