Automating Test-Suite Augmentation

Roderick Paul Bloem; Robert Könighofer; Franz Röck; Michael Tautschnig

doi:http://dx.doi.org/10.1109/QSIC.2014.40

Automating Test-Suite Augmentation

Roderick Paul Bloem, Robert Könighofer, Franz Röck, Michael Tautschnig

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	International Conference on Quality Software
Publisher	.
Pages	67-72
DOIs	https://doi.org/10.1109/QSIC.2014.40
Publication status	Published - 2014
Event	International Conference on Quality Software: QSIC 2014 - Dallas, United States Duration: 2 Oct 2014 → 3 Oct 2014

Conference

Conference	International Conference on Quality Software
Country/Territory	United States
City	Dallas
Period	2/10/14 → 3/10/14

Fields of Expertise

Information, Communication & Computing

Access to Document

http://dx.doi.org/10.1109/QSIC.2014.40

NewP@ass - New verification & valdidation methods enabling widespread use of Privacy and @nonymity in electronically secured systems
Röck, F., Unterluggauer, T., Könighofer, R., Mangard, S., Wenger, E., Spreitzer, R. C., Mendel, F., Schmidt, J. & Bloem, R.
1/05/12 → 31/05/15
Project: Research project
Formal Methods for Design & Verification
Jacobs, S., Bloem, R., Könighofer, R., Könighofer, B., Khalimov, A., Hofferek, G. & Braud-Santoni, N.
1/02/08 → 15/07/19
Project: Research area

Cite this

@inproceedings{eb26ac704b0b44ffad2a861ba0eb6f12,

title = "Automating Test-Suite Augmentation",

author = "Bloem, {Roderick Paul} and Robert K{\"o}nighofer and Franz R{\"o}ck and Michael Tautschnig",

year = "2014",

doi = "http://dx.doi.org/10.1109/QSIC.2014.40",

language = "English",

pages = "67--72",

booktitle = "International Conference on Quality Software",

publisher = ".",

note = "International Conference on Quality Software : QSIC 2014 ; Conference date: 02-10-2014 Through 03-10-2014",

}

TY - GEN

T1 - Automating Test-Suite Augmentation

AU - Bloem, Roderick Paul

AU - Könighofer, Robert

AU - Röck, Franz

AU - Tautschnig, Michael

PY - 2014

Y1 - 2014

U2 - http://dx.doi.org/10.1109/QSIC.2014.40

DO - http://dx.doi.org/10.1109/QSIC.2014.40

M3 - Conference paper

SP - 67

EP - 72

BT - International Conference on Quality Software

PB - .

T2 - International Conference on Quality Software

Y2 - 2 October 2014 through 3 October 2014

ER -

Automating Test-Suite Augmentation

Conference

Fields of Expertise

Access to Document

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