Bibtex

Ankit Jha, Rosemary Monahan, Hao Wu, Automated Benchmark Generation for Object Constraint Language (OCL) with SMT-Based Verification

@article{JOT:issue_2026_03/a28, author = {<a href="/contents.html?query=Jha">Ankit Jha</a> and <a href="/contents.html?query=Monahan">Rosemary Monahan</a> and <a href="/contents.html?query=Wu">Hao Wu</a>}, title = {Automated Benchmark Generation for Object Constraint Language (OCL) with SMT-Based Verification}, journal = {Journal of Object Technology}, volume = {25}, number = {3}, issn = {1660-1769}, year = {2026}, month = march, editor = {}, note = {ECMFA 2026 Journal First}, pages = {3:365-378}, doi = {10.5381/jot.2026.25.3.a28}, url = {http://www.jot.fm/contents/issue_2026_03/a28.html} }

Back