Volume 27, Issue 2

Search all Software Quality Journal articles

June 2019

Testing Software and Systems

Issue Editors:

Husnu Yenigun,
Nina Yevtushenko,
Ana Rosa Cavalli

16 articles in this issue

In this issue
Rachel Harrison
EditorialNotes 11 March 2019 Pages: 495 - 495
Guest Editorial: Special issue on Testing Software and Systems
Husnu Yenigun
Nina Yevtushenko
Ana Rosa Cavalli
EditorialNotes 30 May 2019 Pages: 497 - 499
Fault model-driven testing from FSM with symbolic inputs
Omer Nguena Timo
Alexandre Petrenko
S. Ramesh
OriginalPaper 29 January 2019 Pages: 501 - 527
Fault-based refinement-testing for CSP
Ana Cavalcanti
Adenilso Simao
OriginalPaper 21 March 2019 Pages: 529 - 562
n-Complete test suites for IOCO
Petra van den Bos
Ramon Janssen
Joshua Moerman
OriginalPaper Open access 28 November 2018 Pages: 563 - 588
Safety-complete test suites
Wen-ling Huang
Sadik Özoguz
Jan Peleska
OriginalPaper 22 October 2018 Pages: 589 - 613
Testing self-healing cyber-physical systems under uncertainty: a fragility-oriented approach
Tao Ma
Shaukat Ali
Maged Elaasar
OriginalPaper 20 March 2019 Pages: 615 - 649
FSM inference and checking sequence construction are two sides of the same coin
Alexandre Petrenko
Florent Avellaneda
Catherine Oriat
OriginalPaper 13 December 2018 Pages: 651 - 674
An approach for guiding developers in the choice of security solutions and in the generation of concrete test cases
Sébastien Salva
Loukmen Regainia
OriginalPaper 19 January 2019 Pages: 675 - 701
Testing TLS using planning-based combinatorial methods and execution framework
Dimitris E. Simos
Josip Bozic
Franz Wotawa
OriginalPaper 01 June 2018 Pages: 703 - 729
Virtual machine placement quality estimation in cloud infrastructures using integer linear programming
Jorge López
Natalia Kushik
Djamal Zeghlache
OriginalPaper 25 October 2018 Pages: 731 - 755
Learning and statistical model checking of system response times
Bernhard K. Aichernig
Priska Bauerstätter
Richard Schumi
OriginalPaper Open access 03 January 2019 Pages: 757 - 795
Differences between a static and a dynamic test-to-code traceability recovery method
Tamás Gergely
Gergő Balogh
Tibor Gyimóthy
OriginalPaper Open access 13 December 2018 Pages: 797 - 822
Coverage-based quality metric of mutation operators for test suite improvement
Pedro Delgado-Pérez
Louis M. Rose
Inmaculada Medina-Bulo
OriginalPaper 06 November 2018 Pages: 823 - 859
Automatically learning usage behavior and generating event sequences for black-box testing of reactive systems
M. Furkan Kıraç
Barış Aktemur
Ceren Şahin Gebizli
OriginalPaper 11 January 2019 Pages: 861 - 883
Test descriptions with ETSI TDL
Philip Makedonski
Gusztáv Adamis
Jens Grabowski
OriginalPaper 17 October 2018 Pages: 885 - 917

Volume 27, Issue 2

Search

Navigation