Testing the Adherence of Enterprise Web Applications to Transactional Patterns | IEEE Conference Publication | IEEE Xplore