Property-Based Mutation Testing.

Ezio Bartocci Leonardo Mariani Dejan Nickovic Drishti Yadav

Published in: ICST (2023)

Keyphrases

mutation testing
test sequences
test generation
database applications
test suite
integration testing
databases
case study
finite state machines
database systems
semi supervised
machine vision
testing process