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.

Enabling Efficient Assertion Inference

Aayush Garg, Renzo Degiovanni, Facundo Molina, Maxime Cordy, Nazareno Aguirre, Mike Papadakis, Yves Le Traon. Enabling Efficient Assertion Inference. In 34th IEEE International Symposium on Software Reliability Engineering, ISSRE 2023, Florence, Italy, October 9-12, 2023. pages 623-634, IEEE, 2023. [doi]

Authors

Aayush Garg

This author has not been identified. Look up 'Aayush Garg' in Google

Renzo Degiovanni

This author has not been identified. Look up 'Renzo Degiovanni' in Google

Facundo Molina

This author has not been identified. Look up 'Facundo Molina' in Google

Maxime Cordy

This author has not been identified. Look up 'Maxime Cordy' in Google

Nazareno Aguirre

This author has not been identified. Look up 'Nazareno Aguirre' in Google

Mike Papadakis

This author has not been identified. Look up 'Mike Papadakis' in Google

Yves Le Traon

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