Operational profiles in software-reliability engineering | IEEE Journals & Magazine | IEEE Xplore