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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.