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

TOTAL DOCUMENTS

18

(FIVE YEARS 0)

H-INDEX

5

(FIVE YEARS 0)

Published By Springer International Publishing

9783319474427, 9783319474434

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

On-the-Fly Construction of Adaptive Checking Sequences for Testing Deterministic Implementations of Nondeterministic Specifications

Testing Software and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-47443-4_9 ◽

2016 ◽

pp. 139-152 ◽

Author(s):

Nina Yevtushenko ◽

Khaled El-Fakih ◽

Anton Ermakov

Download Full-text

Towards Model Construction Based on Test Cases and GUI Extraction

Testing Software and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-47443-4_15 ◽

2016 ◽

pp. 225-230 ◽

Author(s):

Antti Jääskeläinen

Keyword(s):

Model Construction ◽

Download Full-text

Risk-Based Interoperability Testing Using Reinforcement Learning

Testing Software and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-47443-4_4 ◽

2016 ◽

pp. 52-69 ◽

Author(s):

André Reichstaller ◽

Benedikt Eberhardinger ◽

Alexander Knapp ◽

Wolfgang Reif ◽

Marcel Gehlen

Keyword(s):

Reinforcement Learning ◽

Interoperability Testing

Download Full-text

STIPI: Using Search to Prioritize Test Cases Based on Multi-objectives Derived from Industrial Practice

Testing Software and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-47443-4_11 ◽

2016 ◽

pp. 172-190 ◽

Author(s):

Dipesh Pradhan ◽

Shuai Wang ◽

Shaukat Ali ◽

Tao Yue ◽

Marius Liaaen

Keyword(s):

Industrial Practice

Download Full-text

Resolving the Equivalent Mutant Problem in the Presence of Non-determinism and Coincidental Correctness

Testing Software and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-47443-4_8 ◽

2016 ◽

pp. 123-138 ◽

Author(s):

Krishna Patel ◽

Robert M. Hierons

Download Full-text

Test Generation by Constraint Solving and FSM Mutant Killing

Testing Software and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-47443-4_3 ◽

2016 ◽

pp. 36-51 ◽

Author(s):

Alexandre Petrenko ◽

Omer Nguena Timo ◽

S. Ramesh

Keyword(s):

Test Generation ◽

Constraint Solving

Download Full-text

Parallelizing Heuristics for Generating Synchronizing Sequences

Testing Software and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-47443-4_7 ◽

2016 ◽

pp. 106-122 ◽

Author(s):

Sertaç Karahoda ◽

Osman Tufan Erenay ◽

Kamer Kaya ◽

Uraz Cengiz Türker ◽

Hüsnü Yenigün

Download Full-text

Conformance Testing with Respect to Partial-Order Specifications

Testing Software and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-47443-4_1 ◽

2016 ◽

pp. 3-17 ◽

Author(s):

Gregor von Bochmann

Keyword(s):

Partial Order ◽

Conformance Testing

Download Full-text

Searching Critical Values for Floating-Point Programs

Testing Software and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-47443-4_13 ◽

2016 ◽

pp. 209-217 ◽

Author(s):

Hélène Collavizza ◽

Claude Michel ◽

Michel Rueher

Keyword(s):

Critical Values ◽

Download Full-text

Mutation-Based Test Generation for PLC Embedded Software Using Model Checking

Testing Software and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-47443-4_10 ◽

2016 ◽

pp. 155-171 ◽

Author(s):

Eduard P. Enoiu ◽

Daniel Sundmark ◽

Adnan Čaušević ◽

Robert Feldt ◽

Paul Pettersson

Keyword(s):

Model Checking ◽

Test Generation ◽

Embedded Software

Download Full-text