Constraint-Based Approaches to the Covering Test Problem

Brahim Hnich, Steven David Prestwich, Evgeny Selensky. Constraint-Based Approaches to the Covering Test Problem. In Boi Faltings, Adrian Petcu, François Fages, Francesca Rossi, editors, Recent Advances in Constraints, Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and Invited Papers. Volume 3419 of Lecture Notes in Computer Science, pages 172-186, Springer, 2004. [doi]

@inproceedings{HnichPS04,
  title = {Constraint-Based Approaches to the Covering Test Problem},
  author = {Brahim Hnich and Steven David Prestwich and Evgeny Selensky},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3419&spage=172},
  tags = {rule-based, testing, constraints, systematic-approach},
  researchr = {https://researchr.org/publication/HnichPS04},
  cites = {0},
  citedby = {0},
  pages = {172-186},
  booktitle = {Recent Advances in Constraints, Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and Invited Papers},
  editor = {Boi Faltings and Adrian Petcu and François Fages and Francesca Rossi},
  volume = {3419},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-25176-6},
}