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

Formal Test-Driven Development with Verified Test Cases. / Aichernig, Bernhard; Lorber, Florian Lukas; Tiran, Stefan.

Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development. Lisbon : SCITEPRESS – Science and Technology Publications, 2014. p. 626-635.

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

Aichernig, B, Lorber, FL & 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. SCITEPRESS – Science and Technology Publications, Lisbon, pp. 626-635, International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7/01/14. https://doi.org/10.5220/0004874406260635
Aichernig B, Lorber FL, Tiran S. Formal Test-Driven Development with Verified Test Cases. In Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development. Lisbon: SCITEPRESS – Science and Technology Publications. 2014. p. 626-635 https://doi.org/10.5220/0004874406260635
Aichernig, Bernhard ; Lorber, Florian Lukas ; Tiran, Stefan. / Formal Test-Driven Development with Verified Test Cases. Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development. Lisbon : SCITEPRESS – Science and Technology Publications, 2014. pp. 626-635
@inproceedings{b8c1e238f128418a8f8cdbd0d58fa70d,
title = "Formal Test-Driven Development with Verified Test Cases",
author = "Bernhard Aichernig and Lorber, {Florian Lukas} and Stefan Tiran",
year = "2014",
doi = "10.5220/0004874406260635",
language = "English",
isbn = "978-989-758-007-9",
pages = "626--635",
booktitle = "Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development",
publisher = "SCITEPRESS – Science and Technology Publications",

}

TY - GEN

T1 - Formal Test-Driven Development with Verified Test Cases

AU - Aichernig, Bernhard

AU - Lorber, Florian Lukas

AU - Tiran, Stefan

PY - 2014

Y1 - 2014

U2 - 10.5220/0004874406260635

DO - 10.5220/0004874406260635

M3 - Conference contribution

SN - 978-989-758-007-9

SP - 626

EP - 635

BT - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development

PB - SCITEPRESS – Science and Technology Publications

CY - Lisbon

ER -