Publication at USE 2015

The first publication has been accepted at USE’15.

Bernhard K. Aichernig and Martin Tappler: “Symbolic Input-Output Conformance Checking for Model-Based Mutation Testing”, In Usages of Symbolic Execution – 1st International Workshop in conjunction with FM 2015, USE’15,  Oslo, Norway, June 23, 2015. Proceedings, Electr. Notes Theor. Comput. Sci., 320:3–19, 2016. (PDF)(doi:10.1016/j.entcs.2016.01.002)

The first Usages of Symbolic Execution Workshop USE’15 is held at FM 2015.

Leave a Reply

Your email address will not be published. Required fields are marked *

*


You may use these HTML tags and attributes: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <s> <strike> <strong>