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.

mCoq: mutation analysis for Coq verification projects

Kush Jain, Karl Palmskog, Ahmet Çelik, Emilio Jesús Gallego Arias, Milos Gligoric. mCoq: mutation analysis for Coq verification projects. In Gregg Rothermel, Doo-Hwan Bae, editors, ICSE '20: 42nd International Conference on Software Engineering, Companion Volume, Seoul, South Korea, 27 June - 19 July, 2020. pages 89-92, ACM, 2020. [doi]

Authors

Kush Jain

This author has not been identified. Look up 'Kush Jain' in Google

Karl Palmskog

This author has not been identified. Look up 'Karl Palmskog' in Google

Ahmet Çelik

This author has not been identified. Look up 'Ahmet Çelik' in Google

Emilio Jesús Gallego Arias

This author has not been identified. Look up 'Emilio Jesús Gallego Arias' in Google

Milos Gligoric

This author has not been identified. Look up 'Milos Gligoric' in Google
runs on