@INPROCEEDINGS{SGB23a,
   author       = "Sarhan, Qusay Idrees and Gergely, Tam{\'a}s and Besz{\'e}des, {\'A}rp{\'a}d",
   title        = "Systematically Generated Formulas for Spectrum-Based Fault Localization",
   booktitle    = "Proceedings of the 2023 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)",
   year         = 2023,
   month        = apr,
   pages        = "344-352",
   location     = "Dublin, Ireland",
   note         = "Presented at the 6th International Workshop on the Next Level of Test Automation (NEXTA'23}",
}