Four Automated Approaches to Analyze the Quality of UML Sequence Diagrams | IEEE Conference Publication | IEEE Xplore