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

TOTAL DOCUMENTS

22
(FIVE YEARS 0)

H-INDEX

3
(FIVE YEARS 0)

Published By Springer International Publishing

9783319675480, 9783319675497
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Testing TLS Using Combinatorial Methods and Execution Framework

2017 ◽  
pp. 162-177 ◽  
Author(s):  
Dimitris E. Simos ◽  
Josip Bozic ◽  
Feng Duan ◽  
Bernhard Garn ◽  
Kristoffer Kleine ◽  
...  
Keyword(s):  
Combinatorial Methods

scholarly journals Homing Sequence Derivation with Quantified Boolean Satisfiability

2017 ◽  
pp. 230-242 ◽  
Author(s):  
Hung-En Wang ◽  
Kuan-Hua Tu ◽  
Jie-Hong R. Jiang ◽  
Natalia Kushik
Keyword(s):  
Boolean Satisfiability

Synchronizing Heuristics: Speeding up the Slowest

2017 ◽  
pp. 243-256 ◽  
Author(s):  
Ömer Faruk Altun ◽  
Kamil Tolga Atam ◽  
Sertaç Karahoda ◽  
Kamer Kaya

Using Robustness Testing to Handle Incomplete Verification Results When Combining Verification and Testing Techniques

2017 ◽  
pp. 54-70 ◽  
Author(s):  
Stefan Huster ◽  
Jonas Ströbele ◽  
Jürgen Ruf ◽  
Thomas Kropf ◽  
Wolfgang Rosenstiel
Keyword(s):  
Robustness Testing ◽  
Testing Techniques

Checking Response-Time Properties of Web-Service Applications Under Stochastic User Profiles

2017 ◽  
pp. 293-310 ◽  
Author(s):  
Richard Schumi ◽  
Priska Lang ◽  
Bernhard K. Aichernig ◽  
Willibald Krenn ◽  
Rupert Schlick
Keyword(s):  
Response Time ◽  
Web Service ◽  
User Profiles

Safety-Complete Test Suites

2017 ◽  
pp. 145-161 ◽  
Author(s):  
Wen-ling Huang ◽  
Jan Peleska
Keyword(s):  
Complete Test ◽  
Test Suites

scholarly journals Generating Checking Sequences for User Defined Fault Models

2017 ◽  
pp. 320-325 ◽  
Author(s):  
Alexandre Petrenko ◽  
Adenilso Simao
Keyword(s):  
Fault Models

scholarly journals Constraint-Based Oracles for Timed Distributed Systems

2017 ◽  
pp. 276-292
Author(s):  
Nassim Benharrat ◽  
Christophe Gaston ◽  
Robert M. Hierons ◽  
Arnault Lapitre ◽  
Pascale Le Gall
Keyword(s):  
Distributed Systems

scholarly journals Fragility-Oriented Testing with Model Execution and Reinforcement Learning

2017 ◽  
pp. 3-20 ◽  
Author(s):  
Tao Ma ◽  
Shaukat Ali ◽  
Tao Yue ◽  
Maged Elaasar
Keyword(s):  
Reinforcement Learning ◽  
Model Execution

scholarly journals Quality Estimation of Virtual Machine Placement in Cloud Infrastructures

2017 ◽  
pp. 213-229 ◽  
Author(s):  
Jorge López ◽  
Natalia Kushik ◽  
Djamal Zeghlache
Keyword(s):  
Virtual Machine ◽  
Virtual Machine Placement ◽  
Quality Estimation ◽  
Cloud Infrastructures
Load More ...
Sign in / Sign up

Export Citation Format

Share Document