engrXiv: Engineering Eprint Server, 01 Apr 2024 New eprint on engrXiv! "Automatic Verification Technology of Software Patches for User Virtual Environments on IaaS Cloud" #openE…