Sign Up to like & get
recommendations!
1
Published in 2022 at "IEEE Transactions on Software Engineering"
DOI: 10.1109/tse.2023.3279570
Abstract: We present a new model-based approach for testing systems that use sequences of actions and assertions as test vectors. Our solution includes a method for quantifying testing quality, a tool for generating high-quality test suites…
read more here.
Keywords:
coverage criteria;
generalized coverage;
coverage;
criteria combinatorial ... See more keywords