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

9783319259444, 9783319259451

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Practical Evaluation Method of Network Traffic Load for Capacity Planning

Testing Software and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-25945-1_18 ◽

2015 ◽

pp. 263-268

Author(s):

Takeshi Kitahara ◽

Shuichi Nawata ◽

Masaki Suzuki ◽

Norihiro Fukumoto ◽

Shigehiro Ano

Keyword(s):

Network Traffic ◽

Capacity Planning ◽

Evaluation Method ◽

Traffic Load ◽

Practical Evaluation

Download Full-text

Model-Based Testing from Input Output Symbolic Transition Systems Enriched by Program Calls and Contracts

Testing Software and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-25945-1_3 ◽

2015 ◽

pp. 35-51 ◽

Cited By ~ 2

Author(s):

Imen Boudhiba ◽

Christophe Gaston ◽

Pascale Le Gall ◽

Virgile Prevosto

Keyword(s):

Input Output ◽

Transition Systems ◽

Model Based ◽

Model Based Testing ◽

Symbolic Transition Systems

Download Full-text

Using Multiple Adaptive Distinguishing Sequences for Checking Sequence Generation

Testing Software and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-25945-1_2 ◽

2015 ◽

pp. 19-34 ◽

Cited By ~ 2

Author(s):

Canan Güniçen ◽

Guy-Vincent Jourdan ◽

Hüsnü Yenigün

Keyword(s):

Sequence Generation ◽

Distinguishing Sequences

Download Full-text

Guiding Testers’ Hands in Monitoring Tools: Application of Testing Approaches on SIP

Testing Software and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-25945-1_7 ◽

2015 ◽

pp. 105-123

Author(s):

Xiaoping Che ◽

Stephane Maag ◽

Huu Nghia Nguyen ◽

Fatiha Zaïdi

Keyword(s):

Monitoring Tools

Download Full-text

Selective Test Generation Approach for Testing Dynamic Behavioral Adaptations

Testing Software and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-25945-1_14 ◽

2015 ◽

pp. 224-239 ◽

Cited By ~ 3

Author(s):

Mariam Lahami ◽

Moez Krichen ◽

Hajer Barhoumi ◽

Mohamed Jmaiel

Keyword(s):

Test Generation ◽

Behavioral Adaptations

Download Full-text

Heuristics for Deriving Adaptive Homing and Distinguishing Sequences for Nondeterministic Finite State Machines

Testing Software and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-25945-1_15 ◽

2015 ◽

pp. 243-248 ◽

Cited By ~ 5

Author(s):

Natalia Kushik ◽

Hüsnü Yenigün

Keyword(s):

Finite State Machines ◽

State Machines ◽

Distinguishing Sequences ◽

Finite State

Download Full-text

A Negative Input Space Complexity Metric as Selection Criterion for Fuzz Testing

Testing Software and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-25945-1_17 ◽

2015 ◽

pp. 257-262 ◽

Cited By ~ 1

Author(s):

Martin A. Schneider ◽

Marc-Florian Wendland ◽

Andreas Hoffmann

Keyword(s):

Selection Criterion ◽

Space Complexity ◽

Input Space ◽

Fuzz Testing

Download Full-text

mu2: A Refactoring-Based Mutation Testing Framework for Erlang

Testing Software and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-25945-1_11 ◽

2015 ◽

pp. 178-193

Author(s):

Ramsay Taylor ◽

John Derrick

Keyword(s):

Mutation Testing ◽

Testing Framework

Download Full-text

Checking Experiments for Finite State Machines with Symbolic Inputs

Testing Software and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-25945-1_1 ◽

2015 ◽

pp. 3-18 ◽

Cited By ~ 5

Author(s):

Alexandre Petrenko ◽

Adenilso Simao

Keyword(s):

Finite State Machines ◽

State Machines ◽

Finite State ◽

Checking Experiments

Download Full-text

Testing for Distinguishing Repair Candidates in Spreadsheets – the Mussco Approach

Testing Software and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-25945-1_8 ◽

2015 ◽

pp. 124-140 ◽

Cited By ~ 2

Author(s):

Rui Abreu ◽

Simon Außerlechner ◽

Birgit Hofer ◽

Franz Wotawa

Download Full-text

Testing Software and Systems - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

A Practical Evaluation Method of Network Traffic Load for Capacity Planning

Model-Based Testing from Input Output Symbolic Transition Systems Enriched by Program Calls and Contracts

Using Multiple Adaptive Distinguishing Sequences for Checking Sequence Generation

Guiding Testers’ Hands in Monitoring Tools: Application of Testing Approaches on SIP

Selective Test Generation Approach for Testing Dynamic Behavioral Adaptations

Heuristics for Deriving Adaptive Homing and Distinguishing Sequences for Nondeterministic Finite State Machines

A Negative Input Space Complexity Metric as Selection Criterion for Fuzz Testing

mu2: A Refactoring-Based Mutation Testing Framework for Erlang

Checking Experiments for Finite State Machines with Symbolic Inputs

Testing for Distinguishing Repair Candidates in Spreadsheets – the Mussco Approach

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