Bibtex

Bowen Jiang, Miriam Boss, Thomas Weber, Weixing Zhang, Mattias Ulbrich, Anne Koziolek, CoCoPath: Concolic Exploration of Consistency-Preserving Paths

@article{JOT:issue_2026_03/a9, author = {<a href="/contents.html?query=Jiang">Bowen Jiang</a> and <a href="/contents.html?query=Boss">Miriam Boss</a> and <a href="/contents.html?query=Weber">Thomas Weber</a> and <a href="/contents.html?query=Zhang">Weixing Zhang</a> and <a href="/contents.html?query=Ulbrich">Mattias Ulbrich</a> and <a href="/contents.html?query=Koziolek">Anne Koziolek</a>}, title = {CoCoPath: Concolic Exploration of Consistency-Preserving Paths}, journal = {Journal of Object Technology}, volume = {25}, number = {3}, issn = {1660-1769}, year = {2026}, month = march, editor = {}, note = {ECMFA 2026 Journal First}, pages = {3:113-126}, doi = {10.5381/jot.2026.25.3.a9}, url = {http://www.jot.fm/contents/issue_2026_03/a9.html} }

Back