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

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

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
Load More ...
Sign in / Sign up

Export Citation Format

Share Document