Programming Behavioral Test Models for SMT Solving in Scala

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publication2019 IEEE International Conference on Software Testing, Verification and Validation Workshops, {ICST} Workshops 2019, Xi'an, China, April 22-23, 2019
PublisherIEEE Publications
Pages52-60
DOIs
Publication statusPublished - 2019

Cite this