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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(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

Testing Software and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-99927-2_4 ◽

2018 ◽

pp. 39-55

Author(s):

Paul Börding ◽

Jan Haltermann ◽

Marie-Christine Jakobs ◽

Heike Wehrheim

An Energy Aware Testing Framework for Smart-Spaces

Testing Software and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-99927-2_8 ◽

2018 ◽

pp. 85-101

Author(s):

Teruhiro Mizumoto ◽

Khaled El-Fakih ◽

Keiichi Yasumoto ◽

Teruo Higashino

Keyword(s):

Smart Spaces ◽

Energy Aware ◽

Testing Framework

From Ontologies to Input Models for Combinatorial Testing

Testing Software and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-99927-2_14 ◽

2018 ◽

pp. 155-170 ◽

Cited By ~ 5

Author(s):

Franz Wotawa ◽

Yihao Li

Keyword(s):

Combinatorial Testing

Neural Networks as Artificial Specifications

Testing Software and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-99927-2_11 ◽

2018 ◽

pp. 135-141

Author(s):

I. S. Wishnu B. Prasetya ◽

Minh An Tran

Keyword(s):

Neural Networks

Conformance Testing and Inference of Embedded Components

Testing Software and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-99927-2_10 ◽

2018 ◽

pp. 119-134 ◽

Cited By ~ 1

Author(s):

Alexandre Petrenko ◽

Florent Avellaneda

Keyword(s):

Conformance Testing

Security Testing for Chatbots

Testing Software and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-99927-2_3 ◽

2018 ◽

pp. 33-38 ◽

Cited By ~ 3

Author(s):

Josip Bozic ◽

Franz Wotawa

Keyword(s):

Security Testing

Testing Ambient Assisted Living Solutions with Simulations

Testing Software and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-99927-2_5 ◽

2018 ◽

pp. 56-61 ◽

Cited By ~ 2

Author(s):

Marlon Cárdenas ◽

Jorge Gómez Sanz ◽

Juan Pavón

Keyword(s):

Assisted Living ◽

Ambient Assisted Living

Generating OCL Constraints from Test Case Schemas For Testing Model Behavior

Testing Software and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-99927-2_6 ◽

2018 ◽

pp. 62-68

Author(s):

Nisha Desai ◽

Martin Gogolla

Keyword(s):

Test Case ◽

Testing Model

Combining Model Learning and Data Analysis to Generate Models of Component-Based Systems

Testing Software and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-99927-2_12 ◽

2018 ◽

pp. 142-148 ◽

Cited By ~ 2

Author(s):

Sébastien Salva ◽

Elliott Blot ◽

Patrice Laurencot

Keyword(s):

Data Analysis ◽

Model Learning

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

Testing Software and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-99927-2_7 ◽

2018 ◽

pp. 69-84 ◽

Cited By ~ 2

Author(s):

Jorge López ◽

Natalia Kushik ◽

Asma Berriri ◽

Nina Yevtushenko ◽

Djamal Zeghlache

Keyword(s):

Logic Circuit

Testing Software and Systems - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

JMCTest: Automatically Testing Inter-Method Contracts in Java

An Energy Aware Testing Framework for Smart-Spaces

From Ontologies to Input Models for Combinatorial Testing

Neural Networks as Artificial Specifications

Conformance Testing and Inference of Embedded Components

Security Testing for Chatbots

Testing Ambient Assisted Living Solutions with Simulations

Generating OCL Constraints from Test Case Schemas For Testing Model Behavior

Combining Model Learning and Data Analysis to Generate Models of Component-Based Systems

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

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