Model-Based MCDC Testing of Complex Decisions for the Java Card Applet Firewall

Roderick Paul Bloem, Karin Greimel, Robert Könighofer, Franz Röck

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

Original languageEnglish
Title of host publicationVALID proceedings
Publisher.
Pages1-6
ISBN (Print)978-1-61208-307-0
Publication statusPublished - 2013
EventInternational Conference on Advances in System Testing and Validation Lifecycle - Venice, Italy
Duration: 27 Oct 20131 Nov 2013

Conference

ConferenceInternational Conference on Advances in System Testing and Validation Lifecycle
CountryItaly
CityVenice
Period27/10/131/11/13

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Application

Cite this

Bloem, R. P., Greimel, K., Könighofer, R., & Röck, F. (2013). Model-Based MCDC Testing of Complex Decisions for the Java Card Applet Firewall. In VALID proceedings (pp. 1-6). ..

Model-Based MCDC Testing of Complex Decisions for the Java Card Applet Firewall. / Bloem, Roderick Paul; Greimel, Karin; Könighofer, Robert; Röck, Franz.

VALID proceedings. ., 2013. p. 1-6.

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

Bloem, RP, Greimel, K, Könighofer, R & Röck, F 2013, Model-Based MCDC Testing of Complex Decisions for the Java Card Applet Firewall. in VALID proceedings. ., pp. 1-6, International Conference on Advances in System Testing and Validation Lifecycle, Venice, Italy, 27/10/13.
Bloem RP, Greimel K, Könighofer R, Röck F. Model-Based MCDC Testing of Complex Decisions for the Java Card Applet Firewall. In VALID proceedings. . 2013. p. 1-6
Bloem, Roderick Paul ; Greimel, Karin ; Könighofer, Robert ; Röck, Franz. / Model-Based MCDC Testing of Complex Decisions for the Java Card Applet Firewall. VALID proceedings. ., 2013. pp. 1-6
@inproceedings{6e99b18b938540fa9c11d6f961e56d92,
title = "Model-Based MCDC Testing of Complex Decisions for the Java Card Applet Firewall",
author = "Bloem, {Roderick Paul} and Karin Greimel and Robert K{\"o}nighofer and Franz R{\"o}ck",
year = "2013",
language = "English",
isbn = "978-1-61208-307-0",
pages = "1--6",
booktitle = "VALID proceedings",
publisher = ".",

}

TY - GEN

T1 - Model-Based MCDC Testing of Complex Decisions for the Java Card Applet Firewall

AU - Bloem, Roderick Paul

AU - Greimel, Karin

AU - Könighofer, Robert

AU - Röck, Franz

PY - 2013

Y1 - 2013

UR - http://www.iaria.org/conferences2013/VALID13.html

UR - http://www.thinkmind.org/index.php?view=article&articleid=valid_2013_1_10_40062

M3 - Conference contribution

SN - 978-1-61208-307-0

SP - 1

EP - 6

BT - VALID proceedings

PB - .

ER -