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]

@inproceedings{GargDMCAPT23,
  title = {Enabling Efficient Assertion Inference},
  author = {Aayush Garg and Renzo Degiovanni and Facundo Molina and Maxime Cordy and Nazareno Aguirre and Mike Papadakis and Yves Le Traon},
  year = {2023},
  doi = {10.1109/ISSRE59848.2023.00039},
  url = {https://doi.org/10.1109/ISSRE59848.2023.00039},
  researchr = {https://researchr.org/publication/GargDMCAPT23},
  cites = {0},
  citedby = {0},
  pages = {623-634},
  booktitle = {34th IEEE International Symposium on Software Reliability Engineering, ISSRE 2023, Florence, Italy, October 9-12, 2023},
  publisher = {IEEE},
  isbn = {979-8-3503-1594-3},
}