?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.aufirst=Istv%C3%A1n&rft.au=+K%C3%A1d%C3%A1r+Istv%C3%A1n&rft.aulast=K%C3%A1d%C3%A1r&rft.atitle=The+optimization+of+a+symbolic+execution+engine+for+detecting+runtime+errors&rft.pages=573-597&rft.title=Acta+cybernetica&rft.issue=2&rft.volume=23&rft.date=2017&rft.issn=0324-721X&rft.genre=article