ConSequence — Model-Based Testing With State Machines and Concatenated Sequence Diagrams

Weißleder, StephanSokenou, Dehla2017-12-062017-12-062012https://dl.gi.de/handle/20.500.12116/8634enState MachineTest SuiteTransition SequenceCoverage CriterionOutgoing TransitionConSequence — Model-Based Testing With State Machines and Concatenated Sequence DiagramsText/Journal Article10.1007/BF033234200720-8928