External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Coverage Driven Test Generation and Consistency Algorithm

Jomu George Mani Paret, Otmane Aït Mohamed. Coverage Driven Test Generation and Consistency Algorithm. In Michael Hanus, Ricardo Rocha, editors, Declarative Programming and Knowledge Management - Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers. Volume 8439 of Lecture Notes in Computer Science, pages 136-151, Springer, 2013. [doi]

Abstract

Abstract is missing.

runs on