Automated Behavior Computation for Software Analysis and Validation | IEEE Conference Publication | IEEE Xplore