Test-Sequence Generation from Formal Requirement Models

Authors:
Sanjai Rayadurgam;Mats Per Erik Heimdahl
Affiliations:
-;-
Venue:
HASE '01 The 6th IEEE International Symposium on High-Assurance Systems Engineering: Special Topic: Impact of Networking
Year:
2001

Citing 0
Cited 2

Automated Test-Data Generation from Formal Models of Software

Proceedings of the 16th IEEE international conference on Automated software engineering
On the effect of test-suite reduction on automatically generated model-based tests

Automated Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract