Towards Efficient Data-Flow Test Data Generation.

Published in: Theories of Programming and Formal Methods (2023)