Formal Test-Driven Development with Verified Test Cases

Bernhard Aichernig, Florian Lukas Lorber, Stefan Tiran

Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

Original languageEnglish
Title of host publicationProceedings of the 2nd International Conference on Model-Driven Engineering and Software Development
Place of PublicationLisbon
PublisherSCITEPRESS – Science and Technology Publications
Pages626-635
ISBN (Print)978-989-758-007-9
DOIs
Publication statusPublished - 2014
EventInternational Conference on Model-Driven Engineering and Software Development - Lisbon, Portugal
Duration: 7 Jan 20149 Jan 2014

Conference

ConferenceInternational Conference on Model-Driven Engineering and Software Development
Country/TerritoryPortugal
CityLisbon
Period7/01/149/01/14

Fields of Expertise

  • Information, Communication & Computing

Cite this