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.

VeriSmart 2.0: Swarm-Based Bug-Finding for Multi-threaded Programs with Lazy-CSeq

Bernd Fischer 0002, Salvatore La Torre, Gennaro Parlato. VeriSmart 2.0: Swarm-Based Bug-Finding for Multi-threaded Programs with Lazy-CSeq. In 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019, San Diego, CA, USA, November 11-15, 2019. pages 1150-1153, IEEE, 2019. [doi]

Authors

Bernd Fischer 0002

This author has not been identified. It may be one of the following persons: Look up 'Bernd Fischer 0002' in Google

Salvatore La Torre

This author has not been identified. Look up 'Salvatore La Torre' in Google

Gennaro Parlato

This author has not been identified. Look up 'Gennaro Parlato' in Google
runs on