I would use "VirtualBox" when referring to it since that's how they do it on their website. Same goes for other products, I'll try to recommend using 3rd party product names in the way they most commonly are used by the 3rd party.