@InProceedings{TIB26b,
  Author = {Tibermacine, Okba and Tibermacine, Chouki},
  Title = {Neuro-symbolic Requirements Elicitation: Utilizing Formal Verification Counterexamples as Contextual Prompts},
  Booktitle = {Proceedings of the 41st IEEE/ACM International Conference on Automated Software Engineering (ASE ’26), October 12–16, 2026, Munich, Germany. ACM, New York, NY, USA, 11 pages}, 
  doi = {https://doi.org/10.1145/3832783.3834379},
  Year = {2026},
  Publisher = {ACM Press}
}