Object state testing and fault analysis for reliable software systems | IEEE Conference Publication | IEEE Xplore