Sign in
KeYGenU: combining verification-based and capture and replay techniques for regression unit testing.
Bernhard Beckert
Christoph Gladisch
Shmuel S. Tyszberowicz
Amiram Yehudai
Published in:
Int. J. Syst. Assur. Eng. Manag. (2011)
Keyphrases
</>
regression model
unit testing
model checking
black box
gaussian processes
face verification
regression problems
feature extraction
training data
cooperative
model selection
test cases
linear regression
regression method
formal verification
integration testing