Nicolas Berthier, Steven de Oliveira, Nikolai Kosmatov, Delphine Longuet, Romain Soulat. An Efficient Black-Box Support of Advanced Coverage Criteria for Klee. In Jiman Hong, Maart Lanperne, Juw Won Park, Tomás Cerný, Hossain Shahriar, editors, Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, SAC 2023, Tallinn, Estonia, March 27-31, 2023. pages 1706-1715, ACM, 2023. [doi]
@inproceedings{BerthierOKLS23, title = {An Efficient Black-Box Support of Advanced Coverage Criteria for Klee}, author = {Nicolas Berthier and Steven de Oliveira and Nikolai Kosmatov and Delphine Longuet and Romain Soulat}, year = {2023}, doi = {10.1145/3555776.3577713}, url = {https://doi.org/10.1145/3555776.3577713}, researchr = {https://researchr.org/publication/BerthierOKLS23}, cites = {0}, citedby = {0}, pages = {1706-1715}, booktitle = {Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, SAC 2023, Tallinn, Estonia, March 27-31, 2023}, editor = {Jiman Hong and Maart Lanperne and Juw Won Park and Tomás Cerný and Hossain Shahriar}, publisher = {ACM}, isbn = {978-1-4503-9517-5}, }