An extended domain-based model of software reliability | IEEE Journals & Magazine | IEEE Xplore