Model-based test case generation from UML sequence diagrams using extended finite state machines
Mauricio Rocha, Adenilso Simão, Thiago C. de Sousa
Topics & Concepts
Computer scienceExtended finite-state machineUnified Modeling LanguageSequence diagramApplications of UMLUML toolProgramming languageFinite-state machineModel-based testingTest caseFormal semantics (linguistics)Formal specificationSoftware engineeringSoftwareMachine learningRegression analysisSoftware Testing and Debugging TechniquesModel-Driven Software Engineering TechniquesSoftware Reliability and Analysis Research