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

TOTAL DOCUMENTS

14
(FIVE YEARS 0)

H-INDEX

3
(FIVE YEARS 0)

Published By Springer International Publishing

9783319999265, 9783319999272
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

JMCTest: Automatically Testing Inter-Method Contracts in Java

2018 ◽  
pp. 39-55
Author(s):  
Paul Börding ◽  
Jan Haltermann ◽  
Marie-Christine Jakobs ◽  
Heike Wehrheim

An Energy Aware Testing Framework for Smart-Spaces

2018 ◽  
pp. 85-101
Author(s):  
Teruhiro Mizumoto ◽  
Khaled El-Fakih ◽  
Keiichi Yasumoto ◽  
Teruo Higashino
Keyword(s):  
Smart Spaces ◽  
Energy Aware ◽  
Testing Framework

Test Derivation for SDN-Enabled Switches: A Logic Circuit Based Approach

2018 ◽  
pp. 69-84 ◽  
Author(s):  
Jorge López ◽  
Natalia Kushik ◽  
Asma Berriri ◽  
Nina Yevtushenko ◽  
Djamal Zeghlache
Keyword(s):  
Logic Circuit
Load More ...
Sign in / Sign up

Export Citation Format

Share Document