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.

Intersection and Rotation of Assumption Literals Boosts Bug-Finding

Rohit Dureja, Jianwen Li, Geguang Pu, Moshe Y. Vardi, Kristin Y. Rozier. Intersection and Rotation of Assumption Literals Boosts Bug-Finding. In Supratik Chakraborty, Jorge A. Navas, editors, Verified Software. Theories, Tools, and Experiments - 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019, Revised Selected Papers. Volume 12031 of Lecture Notes in Computer Science, pages 180-192, Springer, 2019. [doi]

Authors

Rohit Dureja

This author has not been identified. Look up 'Rohit Dureja' in Google

Jianwen Li

This author has not been identified. Look up 'Jianwen Li' in Google

Geguang Pu

This author has not been identified. Look up 'Geguang Pu' in Google

Moshe Y. Vardi

This author has not been identified. Look up 'Moshe Y. Vardi' in Google

Kristin Y. Rozier

This author has not been identified. Look up 'Kristin Y. Rozier' in Google
runs on