Testing Software and Systems - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

18
(FIVE YEARS 18)

H-INDEX

2
(FIVE YEARS 2)

Published By Springer International Publishing

9783030312794, 9783030312800
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

An Empirical Evaluation of Search Algorithms for App Testing

2019 ◽  
pp. 123-139 ◽  
Author(s):  
Leon Sell ◽  
Michael Auer ◽  
Christoph Frädrich ◽  
Michael Gruber ◽  
Philemon Werli ◽  
...  
Keyword(s):  
Empirical Evaluation ◽  
Search Algorithms

scholarly journals Towards an Efficient Performance Testing Through Dynamic Workload Adaptation

2019 ◽  
pp. 215-233
Author(s):  
Osvaldo Huerta-Guevara ◽  
Vanessa Ayala-Rivera ◽  
Liam Murphy ◽  
A. Omar Portillo-Dominguez
Keyword(s):  
Performance Testing ◽  
Efficient Performance

scholarly journals DYNAMOJM: A JMeter Tool for Performance Testing Using Dynamic Workload Adaptation

2019 ◽  
pp. 234-241
Author(s):  
Osvaldo Huerta-Guevara ◽  
Vanessa Ayala-Rivera ◽  
Liam Murphy ◽  
A. Omar Portillo-Dominguez
Keyword(s):  
Performance Testing

scholarly journals A Mechanised Proof of an Adaptive State Counting Algorithm

2019 ◽  
pp. 176-193 ◽  
Author(s):  
Robert Sachtleben ◽  
Robert M. Hierons ◽  
Wen-ling Huang ◽  
Jan Peleska
Keyword(s):  
Counting Algorithm

Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning

2019 ◽  
pp. 3-21 ◽  
Author(s):  
Bernhard K. Aichernig ◽  
Roderick Bloem ◽  
Masoud Ebrahimi ◽  
Martin Horn ◽  
Franz Pernkopf ◽  
...  
Keyword(s):  
Machine Learning ◽  
Hybrid Systems ◽  
Behavior Model ◽  
Model Based ◽  
Model Based Testing

scholarly journals A Model Checking Based Approach for Detecting SDN Races

2019 ◽  
pp. 194-211 ◽  
Author(s):  
Evgenii Vinarskii ◽  
Jorge López ◽  
Natalia Kushik ◽  
Nina Yevtushenko ◽  
Djamal Zeghlache
Keyword(s):  
Model Checking
Load More ...
Sign in / Sign up

Export Citation Format

Share Document