Florian Lorber‘s Publications

This list is also available as BiBTeX file.
[1]
Florian Lorber, Amnon Rosenmann, Dejan Ničković, and Bernhard K. Aichernig. Bounded Determinization of Timed Automata with Silent Transitions. In Sriram Sankaranarayanan and Enrico Vicario, editors, Formal Modeling and Analysis of Timed Systems, volume 9268 of Lecture Notes in Computer Science, pages 288--304. Springer, 2015. [ bib | DOI ]
[2]
Florian Lorber. Model-Based Mutation Testing of Synchronous and Asynchronous Real-Time Systems. In IEEE 8th Int. Conf. on Software Testing, Verification and Validation, ICST 2015. IEEE Computer Society, 2015. [ bib | DOI ]
[3]
Bernhard K. Aichernig, Klaus Hörmaier, Florian Lorber, Dejan Ničković, and Stefan Tiran. "Require, Test and Trace IT". In FMICS'15, volume 9128 of Lecture Notes in Computer Science, pages 113--127. Springer, 2015. In press. [ bib ]
[4]
Bernhard K. Aichernig and Florian Lorber. Towards Generation of Adaptive Test Cases from Partial Models of Determinized Timed Automata. In Proceedings of the 11th Workshop on Advances in Model Based Testing, A-MOST 2015, co-located with ICST 2015. IEEE Computer Society, 2015. [ bib | .pdf ]
[5]
Bernhard K. Aichernig, Klaus Hörmaier, Florian Lorber, Dejan Ničković, Rupert Schlick, Didier Simoneau, and Stefan Tiran. Integration of Requirements Engineering and Test-Case Generation via OSLC. In QSIC '14: Proceedings of the 2014 14th International Conference on Quality Software, pages 117--126, Dallas, USA, 2014. IEEE Computer Society. [ bib | DOI ]
[6]
Bernhard K. Aichernig, Klaus Hörmaier, and Florian Lorber. Debugging with Timed Automata Mutations. In Andrea Bondavalli and Felicita Di Giandomenico, editors, Computer Safety, Reliability, and Security, volume 8666 of Lecture Notes in Computer Science, pages 49--64. Springer International Publishing, 2014. [ bib | DOI ]
[7]
Bernhard K. Aichernig, Florian Lorber, Dejan Ničković, and Stefan Tiran. Require, Test and Trace IT. Technical report, Institute for Software Technology (IST), Graz University of Technology, 2014. [ bib | http ]
[8]
Bernhard Aichernig, Florian Lukas Lorber, and Stefan Tiran. Formal Test-Driven Development with Verified Test Cases. In Joaquim Filipe Luis Ferreira Pires, Slimane Hammoudi and Rui César das Neves, editors, Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, pages 626--635, Lisbon, January 2014. SCITEPRESS - Science and Technology Publications. [ bib | DOI ]
[9]
Bernhard K. Aichernig, Florian Lorber, and Dejan Ničković. Time for Mutants - Model-Based Mutation Testing with Timed Automata. In Margus Veanes and Luca Viganò, editors, Tests and Proofs, volume 7942 of Lecture Notes in Computer Science, pages 20--38. Springer Berlin Heidelberg, 2013. [ bib | DOI ]
[10]
Bernhard Aichernig, Florian Lukas Lorber, and Stefan Tiran. Integrating model-based testing and analysis tools via test case exchange. In IEEE Computer Society, editor, Proceedings of the 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering, pages 119--126. IEEE Computer Society, July 2012. [ bib | DOI ]
[11]
Bernhard Aichernig, Florian Lorber, and Stefan Tiran. Formal Test-Driven Development with Verified Test Cases. Technical report, Institute for Software Technology (IST), Graz University of Technology, 2012. [ bib | http ]

This file was generated by bibtex2html 1.98.