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.

Testing meets static and runtime verification

Jesús Mauricio Chimento, Wolfgang Ahrendt, Gerardo Schneider. Testing meets static and runtime verification. In Stefania Gnesi, Nico Plat, Paola Spoletini, Patrizio Pelliccione, editors, Proceedings of the 6th Conference on Formal Methods in Software Engineering, FormaliSE 2018, collocated with ICSE 2018, Gothenburg, Sweden, June 2, 2018. pages 30-39, ACM, 2018. [doi]

Authors

Jesús Mauricio Chimento

This author has not been identified. Look up 'Jesús Mauricio Chimento' in Google

Wolfgang Ahrendt

This author has not been identified. Look up 'Wolfgang Ahrendt' in Google

Gerardo Schneider

This author has not been identified. It may be one of the following persons: Look up 'Gerardo Schneider' in Google
runs on