Robert Korosec

According to our database, Robert Korosec authored at least 5 papers between 2014 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2019

Learning and statistical model checking of system response times.

Bernhard K. Aichernig, Priska Bauerstätter, Elisabeth Jöbstl, Severin Kann, Robert Korosec, Willibald Krenn, Cristinel Mateis, Rupert Schlick, Richard Schumi

Softw. Qual. J., 2019

Learning-Based Testing of an Industrial Measurement Device.

Bernhard K. Aichernig, Christian Burghard, Robert Korosec

Proceedings of the NASA Formal Methods - 11th International Symposium, 2019

2018

A Daily Dose of DSL - MDE Micro Injections in Practice.

Gerald Stieglbauer, Christian Burghard, Stefan Sobernig, Robert Korosec

Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 2018

2015

Supporting the Transition to an Agile Test Matrix.

Robert Korosec, Roman Pfarrhofer

Proceedings of the 8th IEEE International Conference on Software Testing, 2015

2014

Model-Based Mutation Testing of an Industrial Measurement Device.

Bernhard K. Aichernig, Jakob Auer, Elisabeth Jöbstl, Robert Korosec, Willibald Krenn, Rupert Schlick, Birgit Vera Schmidt

Proceedings of the Tests and Proofs - 8th International Conference, 2014