Dynamická analýza softweru - Smolár, Martin (2016)