Automatic Test Case Generation using Sequence Diagram
Automatic generation of software behavioral models