@inproceedings{PaxianBiere-POS23,
  author    = {Tobias Paxian and
               Armin Biere},
  editor    = {J\"{a}rvisalo, Matti and
               Le Berre, Daniel}
  title     = {Uncovering and Classifying Bugs in {MaxSAT} Solvers through Fuzzing and Delta Debugging},
  booktitle = {Proceedings of the 14th International Workshop on Pragmatics of SAT,
               co-located with the 26th International Conference on Theory
	       and Applications of Satisfiability Testing (SAT 2023),
               Alghero, Italy, July, 4, 2023},
  series    = {{CEUR} Workshop Proceedings},
  pages     = {59-71},
  volume    = {3545},
  publisher = {CEUR-WS.org},
  year      = {2023},
  url       = {http://ceur-ws.org/Vol-3545/paper5.pdf},
}