Korat-API
Nima Dini, Cagdas Yelen, Zakaria Alrmaih, Amresh Vishveshvar Kulkarni, Sarfraz Khurshid · 2018
Logical constraints play an important role in software testing and reliability. For example, constraints written by users allow automating test case generation and systematic bug finding, and constraints computed using data-flow of a program allow studying its reliability. The key to practical usefulness of constraints is the effectiveness and efficiency of constraint solvers that determine constraint feasibility and produce solutions.