Formal Methods and Software Engineering

s of Keynotes Combinatorial Testing and Its Applications