Testing using CSP Models: Time, Inputs, and Outputs.

James Baxter Ana Cavalcanti Maciej Gazda Robert M. Hierons

Published in: ACM Trans. Comput. Log. (2023)

Keyphrases

statistical models
dea models
probabilistic model
mathematical models
data sets
data mining
artificial intelligence
information systems
linear programming
complex systems
constraint satisfaction