Software-reliability engineering: technology for the 1990s | IEEE Journals & Magazine | IEEE Xplore