Software testing techniques (2nd ed.)
Software testing techniques (2nd ed.)
Evaluation of expert system testing methods
Communications of the ACM
The Science of Programming
Software Asset Management and Domain Engineering
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
Using CARE to Construct Verified Software
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Hi-index | 0.00 |
Regulatory agencies are requiring companies to systematically demonstrate software safety in their implantable devices, even those already developed. The authors devised a rigorous software safety analysis technique and applied it to a nearly-completed cardiac rhythm management device. They were able to identify safety faults, modify the software to mitigate them, and verify overall safety.