Customizing Virtual Machine with Fault Injector by Integrating with SpecC Device Model for a Software Testing Environment D-Cloud | IEEE Conference Publication | IEEE Xplore