↓ Skip to Main Content

TRUCONF

Main Navigation

  • Home
  • About
  • News
  • Publications
  • Partners
Home › 2015 › June

Month: June 2015

Publication at USE 2015

By admin Posted on 12.06.2015 Posted in Publications No Comments

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 …

Publication at USE 2015 Read more »

Recent Posts

  • PhD Thesis within TRUCONF
  • Exploitation of TRUCONF Results for a Publication at QEST 2018
  • Publication at SETTA 2018
  • Another Master’s Thesis within TRUCONF
  • TRUCONF Final Workshop

Archives

  • October 2018
  • June 2018
  • April 2018
  • March 2018
  • February 2018
  • January 2018
  • July 2017
  • February 2017
  • November 2016
  • October 2016
  • March 2016
  • June 2015

Meta

  • Log in
  • Entries feed
  • Comments feed
  • WordPress.org
© 2023 TRUCONF | Powered by Responsive Theme