An automatically dynamic checking tool for Java Beans semantic constraints | IEEE Conference Publication | IEEE Xplore