S. Ranville

Model driven automatic unit testing technology tool architecture

S. Toeppe, S. Ranville, S. Ranville, 1999, Gateway to the New Millennium. 18th Digital Avionics Systems Conference. Proceedings (Cat. No.99CH37033).

Automatic code generation requirements for production automotive powertrain applications

S. Toeppe, S. Ranville, D. Bostic, 1999, Proceedings of the 1999 IEEE International Symposium on Computer Aided Control System Design (Cat. No.99TH8404).

Matlab® "add-on" tools for state-of-the-art embedded software development

S. Ranville, 2003, Digital Avionics Systems Conference, 2003. DASC '03. The 22nd.

Automating software specification, design and synthesis for computer aided control system design tools

S. Toeppe, S. Ranville, D. Bostic, 2000, 19th DASC. 19th Digital Avionics Systems Conference. Proceedings (Cat. No.00CH37126).

Winnowing tests: Getting quality coverage from a model checker without quantity

S. Ranville, P. E. Black, P. Black, 2001, 20th DASC. 20th Digital Avionics Systems Conference (Cat. No.01CH37219).

Practical validation of model based code generation for automotive applications

S. Toeppe, S. Ranville, D. Bostic, 1999, Gateway to the New Millennium. 18th Digital Avionics Systems Conference. Proceedings (Cat. No.99CH37033).

Specification and testing of automotive powertrain control system software using CACSD tools

S. Toeppe, S. Ranville, K. Butts, 1998, 17th DASC. AIAA/IEEE/SAE. Digital Avionics Systems Conference. Proceedings (Cat. No.98CH36267).