Florian Lorber
Florian Lorber
Verified email at cs.aau.dk
Title
Cited by
Cited by
Year
Time for mutants—model-based mutation testing with timed automata
BK Aichernig, F Lorber, D Ničković
International Conference on Tests and Proofs, 20-38, 2013
562013
Integration of requirements engineering and test-case generation via OSLC
BK Aichernig, K Hörmaier, F Lorber, D Nickovic, R Schlick, D Simoneau, ...
2014 14th International Conference on Quality Software, 117-126, 2014
202014
Require, test, and trace IT
BK Aichernig, K Hörmaier, F Lorber, D Ničković, S Tiran
International journal on software tools for technology transfer 19 (4), 409-426, 2017
142017
Debugging with timed automata mutations
BK Aichernig, K Hörmaier, F Lorber
International Conference on Computer Safety, Reliability, and Security, 49-64, 2014
112014
Mutation-based test-case generation with ecdar
KG Larsen, F Lorber, B Nielsen, UM Nyman
2017 IEEE International Conference on Software Testing, Verification and …, 2017
102017
Bounded determinization of timed automata with silent transitions
F Lorber, A Rosenmann, D Ničković, BK Aichernig
Real-time systems 53 (3), 291-326, 2017
82017
Formal test-driven development with verified test cases
BK Aichernig, F Lorber, S Tiran
2014 2nd International Conference on Model-Driven Engineering and Software …, 2014
82014
Bounded determinization of timed automata with silent transitions
F Lorber, A Rosenmann, D Ničković, BK Aichernig
International Conference on Formal Modeling and Analysis of Timed Systems …, 2015
62015
Model-based mutation testing with timed automata
BK Aichernig, F Lorber, D Nickovic
Graz University of Technology, Graz, 2013
62013
20 Years of UPPAAL Enabled Industrial Model-Based Validation and Beyond
KG Larsen, F Lorber, B Nielsen
International Symposium on Leveraging Applications of Formal Methods, 212-229, 2018
52018
Towards generation of adaptive test cases from partial models of determinized timed automata
BK Aichernig, F Lorber
2015 IEEE Eighth International Conference on Software Testing, Verification …, 2015
52015
Conformance checking of real-time models
BK Aichernig, F Lorber, M Tappler
Theory and Practice of Formal Methods, 15-32, 2016
42016
Integrating model-based testing and analysis tools via test case exchange
BK Aichernig, F Lorber, S Tiran
2012 Sixth International Symposium on Theoretical Aspects of Software …, 2012
42012
Time to Learn–Learning Timed Automata from Tests
M Tappler, BK Aichernig, KG Larsen, F Lorber
International Conference on Formal Modeling and Analysis of Timed Systems …, 2019
32019
Safe and time-optimal control for railway games
SL Karra, KG Larsen, F Lorber, J Srba
International Conference on Reliability, Safety, and Security of Railway …, 2019
32019
Modelling Behavioural Requirements and Alignment with Verification in the Embedded Industry.
G Liebel, A Anjorin, E Knauss, F Lorber, M Tichy
MODELSWARD, 427-434, 2017
32017
Model-based mutation testing of real-time systems via model checking
F Lorber, KG Larsen, B Nielsen
2018 IEEE International Conference on Software Testing, Verification and …, 2018
22018
Bounded determinization of timed automata with silent transitions
A Rosenmann, FL Lorber, D Nickovic, B Aichernig
., 2015
22015
Learning Timed Automata via Genetic Programming
M Tappler, BK Aichernig, KG Larsen, F Lorber
arXiv preprint arXiv:1808.07744, 2018
12018
Model-based mutation testing of synchronous and asynchronous real-time systems
F Lorber
2015 IEEE 8th International Conference on Software Testing, Verification and …, 2015
12015
The system can't perform the operation now. Try again later.
Articles 1–20