@entry{eyo-ize-12-aa-sofval,
  author = {JP Eyo and R Izevbizua},
  title = {Discovering Linear Restraint for Software Validation},
  journal = {},
  volume = {},
  number = {},
  pages = {},
  year = 2012,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  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 ...}
}