---
res:
  bibo_authorlist:
  - foaf_Person:
      foaf_givenName: Sriteja
      foaf_name: Kummita, Sriteja
      foaf_surname: Kummita
      foaf_workInfoHomepage: http://www.librecat.org/personId=72582
  - foaf_Person:
      foaf_givenName: Fabian Benedikt
      foaf_name: Schiebel, Fabian Benedikt
      foaf_surname: Schiebel
      foaf_workInfoHomepage: http://www.librecat.org/personId=55745
    orcid: 0009-0008-6867-9802
  - foaf_Person:
      foaf_givenName: Eric
      foaf_name: Bodden, Eric
      foaf_surname: Bodden
      foaf_workInfoHomepage: http://www.librecat.org/personId=59256
    orcid: 0000-0003-3470-3647
  - foaf_Person:
      foaf_givenName: Miao
      foaf_name: Miao, Miao
      foaf_surname: Miao
  - foaf_Person:
      foaf_givenName: Shiyi
      foaf_name: Wei, Shiyi
      foaf_surname: Wei
  bibo_doi: 10.1109/saner67736.2026.00114
  dct_date: 2026^xs_gYear
  dct_language: eng
  dct_publisher: IEEE@
  dct_title: 'Static Analysis Traces can Help Dynamic Symbolic Execution: a Replication
    Study@'
...