Safety-complete test suites (Englisch)
- Neue Suche nach: Huang, Wen-ling
- Neue Suche nach: Özoguz, Sadik
- Neue Suche nach: Peleska, Jan
- Weitere Informationen zu Peleska, Jan:
- https://orcid.org/0000-0003-3667-9775
- Neue Suche nach: Huang, Wen-ling
- Neue Suche nach: Özoguz, Sadik
- Neue Suche nach: Peleska, Jan
- Weitere Informationen zu Peleska, Jan:
- https://orcid.org/0000-0003-3667-9775
In:
Software Quality Journal
;
27
, 2
; 589-613
;
2018
-
ISSN:
- Aufsatz (Zeitschrift) / Print
-
Titel:Safety-complete test suites
-
Beteiligte:
-
Erschienen in:Software Quality Journal ; 27, 2 ; 589-613
-
Verlag:
- Neue Suche nach: Springer US
- Neue Suche nach: Chapman & Hall
-
Erscheinungsort:London
-
Erscheinungsdatum:2018
-
ISSN:
-
ZDBID:
-
DOI:
-
Medientyp:Aufsatz (Zeitschrift)
-
Format:Print
-
Sprache:Englisch
- Neue Suche nach: 54.52
- Weitere Informationen zu Basisklassifikation
- Neue Suche nach: 275/3155
-
Schlagwörter:
-
Klassifikation:
-
Datenquelle:
Inhaltsverzeichnis – Band 27, Ausgabe 2
Zeige alle Jahrgänge und Ausgaben
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 495
-
In this issueHarrison, Rachel et al. | 2019
- 497
-
Guest Editorial: Special issue on Testing Software and SystemsYenigun, Husnu / Yevtushenko, Nina / Cavalli, Ana Rosa et al. | 2019
- 501
-
Fault model-driven testing from FSM with symbolic inputsTimo, Omer Nguena / Petrenko, Alexandre / Ramesh, S. et al. | 2019
- 529
-
Fault-based refinement-testing for CSPCavalcanti, Ana / Simao, Adenilso et al. | 2019
- 563
-
n-Complete test suites for IOCOvan den Bos, Petra / Janssen, Ramon / Moerman, Joshua et al. | 2019
- 589
-
Safety-complete test suitesHuang, Wen-ling / Özoguz, Sadik / Peleska, Jan et al. | 2018
- 615
-
Testing self-healing cyber-physical systems under uncertainty: a fragility-oriented approachMa, Tao / Ali, Shaukat / Yue, Tao / Elaasar, Maged et al. | 2019
- 651
-
FSM inference and checking sequence construction are two sides of the same coinPetrenko, Alexandre / Avellaneda, Florent / Groz, Roland / Oriat, Catherine et al. | 2018
- 675
-
An approach for guiding developers in the choice of security solutions and in the generation of concrete test casesSalva, Sébastien / Regainia, Loukmen et al. | 2019
- 703
-
Testing TLS using planning-based combinatorial methods and execution frameworkSimos, Dimitris E. / Bozic, Josip / Garn, Bernhard / Leithner, Manuel / Duan, Feng / Kleine, Kristoffer / Lei, Yu / Wotawa, Franz et al. | 2018
- 731
-
Virtual machine placement quality estimation in cloud infrastructures using integer linear programmingLópez, Jorge / Kushik, Natalia / Zeghlache, Djamal et al. | 2018
- 757
-
Learning and statistical model checking of system response timesAichernig, Bernhard K. / Bauerstätter, Priska / Jöbstl, Elisabeth / Kann, Severin / Korošec, Robert / Krenn, Willibald / Mateis, Cristinel / Schlick, Rupert / Schumi, Richard et al. | 2019
- 797
-
Differences between a static and a dynamic test-to-code traceability recovery methodGergely, Tamás / Balogh, Gergő / Horváth, Ferenc / Vancsics, Béla / Beszédes, Árpád / Gyimóthy, Tibor et al. | 2019
- 823
-
Coverage-based quality metric of mutation operators for test suite improvementDelgado-Pérez, Pedro / Rose, Louis M. / Medina-Bulo, Inmaculada et al. | 2018
- 861
-
Automatically learning usage behavior and generating event sequences for black-box testing of reactive systemsKıraç, M. Furkan / Aktemur, Barış / Sözer, Hasan / Gebizli, Ceren Şahin et al. | 2019
- 885
-
Test descriptions with ETSI TDLMakedonski, Philip / Adamis, Gusztáv / Käärik, Martti / Kristoffersen, Finn / Carignani, Michele / Ulrich, Andreas / Grabowski, Jens et al. | 2018