A controlled experiment in program testing and code walkthroughs/inspections
Communications of the ACM
Software Reliability Guidebook
Software Reliability Guidebook
New assertion concepts for self-metric software validation
Proceedings of the international conference on Reliable software
Self-Stabilizing Programs: The Fault-Tolerant Capability of Self-Checking Programs
IEEE Transactions on Computers
Hi-index | 0.00 |