More Precise Regression Test Selection via Reasoning about Semantics-Modifying Changes.

Yu Liu Jiyang Zhang Pengyu Nie Milos Gligoric Owolabi Legunsen

Published in: ISSTA (2023)

Keyphrases

regression model
formal semantics
introducing additional
neural network
genetic algorithm
model selection
linear regression
multi agent systems
description logics
logic programming
support vector regression
qualitative reasoning
ridge regression
random selection
complete axiomatization