Validating run-time interactions in distributed Java applications | IEEE Conference Publication | IEEE Xplore