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

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

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

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

Institute of Applied Information Processing and Communications (7050)

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Original language	English
Title of host publication	VALID proceedings
Publisher	.
Pages	1-6
ISBN (Print)	978-1-61208-307-0
Publication status	Published - 2013
Event	International Conference on Advances in System Testing and Validation Lifecycle - Venice, Italy Duration: 27 Oct 2013 → 1 Nov 2013

Conference

Conference	International Conference on Advances in System Testing and Validation Lifecycle
Country/Territory	Italy
City	Venice
Period	27/10/13 → 1/11/13

Fields of Expertise

Information, Communication & Computing

Treatment code (Nähere Zuordnung)

Application

Access to Document

valid_2013_1_10_40062.pdfFinal published version, 339 KB

Cite this

@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 = ".",

note = "International Conference on Advances in System Testing and Validation Lifecycle ; Conference date: 27-10-2013 Through 01-11-2013",

}

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 paper

SN - 978-1-61208-307-0

SP - 1

EP - 6

BT - VALID proceedings

PB - .

T2 - International Conference on Advances in System Testing and Validation Lifecycle

Y2 - 27 October 2013 through 1 November 2013

ER -

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

Conference

Fields of Expertise

Treatment code (Nähere Zuordnung)

Access to Document

Other files and links

NewP@ass - New verification & valdidation methods enabling widespread use of Privacy and @nonymity in electronically secured systems

Formal Methods for Design & Verification

Cite this

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

Conference

Fields of Expertise

Treatment code (Nähere Zuordnung)

Access to Document

Other files and links

Projects

NewP@ass - New verification & valdidation methods enabling widespread use of Privacy and @nonymity in electronically secured systems

Formal Methods for Design & Verification

Cite this