On systematic design of globally consistent executable assertions in embedded software
Proceedings of the joint conference on Languages, compilers and tools for embedded systems: software and compilers for embedded systems
Software testability measurement for intelligent assertion placement
Software Quality Control
Using fault injection to increase software test coverage
ISSRE '96 Proceedings of the The Seventh International Symposium on Software Reliability Engineering
A historical perspective on runtime assertion checking in software development
ACM SIGSOFT Software Engineering Notes
Hi-index | 0.00 |