Tutorial: Static Analysis and Dynamic Testing of Computer Software | IEEE Journals & Magazine | IEEE Xplore