Specify and measure, cover and reveal: A unified framework for automated test generation

Sébastien Bardin, Nikolai Kosmatov, Michaël Marcozzi, Mickaël Delahaye. Specify and measure, cover and reveal: A unified framework for automated test generation. Science of Computer Programming, 207:102641, 2021. [doi]

Authors

Sébastien Bardin

This author has not been identified. Look up 'Sébastien Bardin' in Google

Nikolai Kosmatov

This author has not been identified. Look up 'Nikolai Kosmatov' in Google

Michaël Marcozzi

This author has not been identified. Look up 'Michaël Marcozzi' in Google

Mickaël Delahaye

This author has not been identified. Look up 'Mickaël Delahaye' in Google