BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Hungary
Collaborated with:
B.K.Aichernig D.Nickovic
Talks about:
time (3) mutat (2) model (2) test (2) base (2) asynchron (1) synchron (1) automata (1) system (1) mutant (1)

Person: Florian Lorber

DBLP DBLP: Lorber:Florian

Facilitated 1 volumes:

A-MOST 2020PrCo

Contributed to:

ICST 20152015
TAP 20132013

Wrote 2 papers:

ICST-2015-Lorber #modelling #mutation testing #realtime #testing
Model-Based Mutation Testing of Synchronous and Asynchronous Real-Time Systems (FL), pp. 1–2.
TAP-2013-AichernigLN #automaton #modelling #mutation testing #testing
Time for Mutants — Model-Based Mutation Testing with Timed Automata (BKA, FL, DN), pp. 20–38.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.