An Efficient Methodology for Mutation-Coverage-Collection of Formal-Property-Checking

Author(s):
Holger Busch
Location:
Europe
Year:
2022
Type:
Paper
Format:
pdf