Ausgabe 2/2019
Testing Software and Systems
Inhalt (16 Artikel)
Guest Editorial: Special issue on Testing Software and Systems
Husnu Yenigun, Nina Yevtushenko, Ana Rosa Cavalli
Fault model-driven testing from FSM with symbolic inputs
Omer Nguena Timo, Alexandre Petrenko, S. Ramesh
Testing self-healing cyber-physical systems under uncertainty: a fragility-oriented approach
Tao Ma, Shaukat Ali, Tao Yue, Maged Elaasar
FSM inference and checking sequence construction are two sides of the same coin
Alexandre Petrenko, Florent Avellaneda, Roland Groz, Catherine Oriat
An approach for guiding developers in the choice of security solutions and in the generation of concrete test cases
Sébastien Salva, Loukmen Regainia
Testing TLS using planning-based combinatorial methods and execution framework
Dimitris E. Simos, Josip Bozic, Bernhard Garn, Manuel Leithner, Feng Duan, Kristoffer Kleine, Yu Lei, Franz Wotawa
Virtual machine placement quality estimation in cloud infrastructures using integer linear programming
Jorge López, Natalia Kushik, Djamal Zeghlache
Learning and statistical model checking of system response times
Bernhard K. Aichernig, Priska Bauerstätter, Elisabeth Jöbstl, Severin Kann, Robert Korošec, Willibald Krenn, Cristinel Mateis, Rupert Schlick, Richard Schumi
Differences between a static and a dynamic test-to-code traceability recovery method
Tamás Gergely, Gergő Balogh, Ferenc Horváth, Béla Vancsics, Árpád Beszédes, Tibor Gyimóthy
Coverage-based quality metric of mutation operators for test suite improvement
Pedro Delgado-Pérez, Louis M. Rose, Inmaculada Medina-Bulo
Automatically learning usage behavior and generating event sequences for black-box testing of reactive systems
M. Furkan Kıraç, Barış Aktemur, Hasan Sözer, Ceren Şahin Gebizli
Test descriptions with ETSI TDL
Philip Makedonski, Gusztáv Adamis, Martti Käärik, Finn Kristoffersen, Michele Carignani, Andreas Ulrich, Jens Grabowski