@entry{eyo-ize-12-aa,
  author = {JP Eyo and R Izevbizua},
  title = {Discovering Linear Restraint for Software Validation},
  journal = {},
  year = 2012,
  url = {{\url{https://core.ac.uk/download/pdf/12356812.pdf#page=44}}},
  quotes = {Software is constantly being validated on test techniques which consist in enumerative execution of the application a high number of times. It is not realistic to achieve 100% coverage ...}
}