Dynamic Human-in-the-Loop Assertion Generation.

Lucas Zamprogno Braxton Hall Reid Holmes Joanne M. Atlee

Published in: IEEE Trans. Software Eng. (2023)

Keyphrases

human interaction
dynamically changing
data streams
preprocessing
relational databases
evolutionary algorithm
dynamic environments
human experts
human users