Software Misconfiguration Troubleshooting Based on State Analysis | IEEE Conference Publication | IEEE Xplore