Login / Signup
Demo Abstract: Model-Based Testing of Implantable Cardiac Devices.
Shilpa Sarode
Sriram Radhakrishnan
Varun Sampath
Zhihao Jiang
Miroslav Pajic
Rahul Mangharam
Published in:
ICCPS (2012)
Keyphrases
</>
model based testing
test cases
software development
mobile devices
sequence diagrams
testing process
high level
software design
software testing
real world
database
artificial intelligence
open source
security policies
left ventricle