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.

Using Projections to Debug Large Combinatorial Models

Eitan Farchi, Itai Segall, Rachel Tzoref-Brill. Using Projections to Debug Large Combinatorial Models. In 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation, Workshops Proceedings, Luxembourg, Luxembourg, March 18-22, 2013. pages 311-320, IEEE, 2013. [doi]

Authors

Eitan Farchi

This author has not been identified. Look up 'Eitan Farchi' in Google

Itai Segall

This author has not been identified. Look up 'Itai Segall' in Google

Rachel Tzoref-Brill

This author has not been identified. Look up 'Rachel Tzoref-Brill' in Google
runs on