Formal Test-Driven Development with Verified Test Cases

Bernhard Aichernig, Florian Lukas Lorber, Stefan Tiran

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-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
CountryPortugal
CityLisbon
Period7/01/149/01/14

Fields of Expertise

  • Information, Communication & Computing

Cite this

Aichernig, B., Lorber, F. L., & Tiran, S. (2014). Formal Test-Driven Development with Verified Test Cases. In Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development (pp. 626-635). Lisbon: SCITEPRESS – Science and Technology Publications. https://doi.org/10.5220/0004874406260635