S. Ramesh

Automatic Testing from Formal Specifi

Michael Leuschel, Michael Butler, Manoranjan Satpathy, 2006 .

Refinement and Efficient Verification of Synchronous Programs (Extended Abstract)1

S. Ramesh, S. Ramesh, 2000 .

Verification of Model Processing Tools

Prahladavaradan Sampath, K. C. Shashidhar, S. Ramesh, 2008 .

Design Verification of Automotive Controller Models

A. C. Rajeev, Swarup Mohalik, S. Ramesh, 2013 .

Using Imprecise Test Oracles Modelled by FSM

Alexandre Petrenko, Omer Nguena Timo, S. Ramesh, 2019, 2019 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).