Login / Signup
Robert Korosec
Publication Activity (10 Years)
Years Active: 2014-2019
Publications (10 Years): 4
Top Topics
Measurement Data
Website
Model Checking
Mutation Testing
Top Venues
ICST
MODELSWARD
Softw. Qual. J.
TAP@STAF
</>
Publications
</>
Bernhard K. Aichernig
,
Priska Bauerstätter
,
Elisabeth Jöbstl
,
Severin Kann
,
Robert Korosec
,
Willibald Krenn
,
Cristinel Mateis
,
Rupert Schlick
,
Richard Schumi
Learning and statistical model checking of system response times.
Softw. Qual. J.
27 (2) (2019)
Bernhard K. Aichernig
,
Christian Burghard
,
Robert Korosec
Learning-Based Testing of an Industrial Measurement Device.
NFM
(2019)
Gerald Stieglbauer
,
Christian Burghard
,
Stefan Sobernig
,
Robert Korosec
A Daily Dose of DSL - MDE Micro Injections in Practice.
MODELSWARD
(2018)
Robert Korosec
,
Roman Pfarrhofer
Supporting the Transition to an Agile Test Matrix.
ICST
(2015)
Bernhard K. Aichernig
,
Jakob Auer
,
Elisabeth Jöbstl
,
Robert Korosec
,
Willibald Krenn
,
Rupert Schlick
,
Birgit Vera Schmidt
Model-Based Mutation Testing of an Industrial Measurement Device.
TAP@STAF
(2014)