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.

Probabilistic programming for Java using symbolic execution and model counting

Willem Visser, Corina S. Pasareanu. Probabilistic programming for Java using symbolic execution and model counting. In Muthoni Masinde, editor, Proceedings of the South African Institute of Computer Scientists and Information Technologists, SAICSIT 2017, Thaba Nchu, South Africa, September 26-28, 2017. ACM, 2017. [doi]

Authors

Willem Visser

This author has not been identified. Look up 'Willem Visser' in Google

Corina S. Pasareanu

This author has not been identified. Look up 'Corina S. Pasareanu' in Google
runs on