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.

Parameterized model counting for string and numeric constraints

Abdulbaki Aydin, William Eiers, Lucas Bang, Tegan Brennan, Miroslav Gavrilov, Tevfik Bultan, Fang Yu. Parameterized model counting for string and numeric constraints. In Gary T. Leavens, Alessandro Garcia, Corina S. Pasareanu, editors, Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/SIGSOFT FSE 2018, Lake Buena Vista, FL, USA, November 04-09, 2018. pages 400-410, ACM, 2018. [doi]

Authors

Abdulbaki Aydin

This author has not been identified. Look up 'Abdulbaki Aydin' in Google

William Eiers

This author has not been identified. Look up 'William Eiers' in Google

Lucas Bang

This author has not been identified. Look up 'Lucas Bang' in Google

Tegan Brennan

This author has not been identified. Look up 'Tegan Brennan' in Google

Miroslav Gavrilov

This author has not been identified. Look up 'Miroslav Gavrilov' in Google

Tevfik Bultan

This author has not been identified. Look up 'Tevfik Bultan' in Google

Fang Yu

This author has not been identified. Look up 'Fang Yu' in Google
runs on