S. Ranville

Automated validation of software models

Steve Sims, Rance Cleaveland, Kenneth Butts et al. · 2005 · 35 citations

Computing, Automotive Engineering, Computer Science +17

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

S. Ranville · 2002 · 15 citations · Full text

Computing, Systems Engineering, Formal Methods +12

Practical validation of model based code generation for automotive applications

S. Toeppe, S. Ranville, D. Bostic et al. · Gateway to the New Millennium. 18th Digital Avionics Systems Conference. Proceedings (Cat. No.99CH37033) · 2003 · 12 citations

Engineering, Automotive Engineering, Computer Science +13

Automatic code generation requirements for production automotive powertrain applications

S. Toeppe, D. Bostic, S. Ranville et al. · 2003 · 11 citations

Engineering, Automotive Engineering, Systems Engineering +7

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

S. Toeppe, S. Ranville, Kenneth Butts · 2002 · 10 citations

Engineering, Automotive Engineering, Systems Engineering +17