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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642346903, 9783642346910

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Using Behaviour Inference to Optimise Regression Test Sets

Testing Software and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-34691-0_14 ◽

2012 ◽

pp. 184-199 ◽

Cited By ~ 10

Author(s):

Ramsay Taylor ◽

Mathew Hall ◽

Kirill Bogdanov ◽

John Derrick

Keyword(s):

Regression Test ◽

Test Sets

Download Full-text

Protocol Testing and Performance Evaluation for MANETs with Non-uniform Node Density Distribution

Testing Software and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-34691-0_17 ◽

2012 ◽

pp. 231-246 ◽

Cited By ~ 2

Author(s):

Akihito Hiromori ◽

Takaaki Umedu ◽

Hirozumi Yamaguchi ◽

Teruo Higashino

Keyword(s):

Performance Evaluation ◽

Density Distribution ◽

Node Density ◽

Protocol Testing ◽

And Performance

Download Full-text

Active Learning of Extended Finite State Machines

Testing Software and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-34691-0_2 ◽

2012 ◽

pp. 5-7 ◽

Cited By ~ 5

Author(s):

Frits Vaandrager

Keyword(s):

Active Learning ◽

Finite State Machines ◽

State Machines ◽

Finite State ◽

Extended Finite State Machines

Download Full-text

Efficient and Trustworthy Tool Qualification for Model-Based Testing Tools

Testing Software and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-34691-0_3 ◽

2012 ◽

pp. 8-23 ◽

Cited By ~ 4

Author(s):

Jörg Brauer ◽

Jan Peleska ◽

Uwe Schulze

Keyword(s):

Model Based ◽

Testing Tools ◽

Model Based Testing

Download Full-text

Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance Testing

Testing Software and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-34691-0_10 ◽

2012 ◽

pp. 119-135 ◽

Cited By ~ 12

Author(s):

Boutheina Bannour ◽

Jose Pablo Escobedo ◽

Christophe Gaston ◽

Pascale Le Gall

Keyword(s):

Conformance Testing ◽

Test Case Generation ◽

Test Case ◽

Symbolic Model ◽

Model Based ◽

Line Test

Download Full-text

Lightweight Automatic Error Detection by Monitoring Collar Variables

Testing Software and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-34691-0_16 ◽

2012 ◽

pp. 215-230 ◽

Cited By ~ 2

Author(s):

João Santos ◽

Rui Abreu

Keyword(s):

Error Detection ◽

Automatic Error

Download Full-text

A Technique for Agile and Automatic Interaction Testing for Product Lines

Testing Software and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-34691-0_5 ◽

2012 ◽

pp. 39-54 ◽

Cited By ~ 9

Author(s):

Martin Fagereng Johansen ◽

Øystein Haugen ◽

Franck Fleurey ◽

Erik Carlson ◽

Jan Endresen ◽

...

Keyword(s):

Product Lines ◽

Interaction Testing

Download Full-text

Using Knapsack Problem Model to Design a Resource Aware Test Architecture for Adaptable and Distributed Systems

Testing Software and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-34691-0_9 ◽

2012 ◽

pp. 103-118 ◽

Cited By ~ 10

Author(s):

Mariam Lahami ◽

Moez Krichen ◽

Mariam Bouchakwa ◽

Mohamed Jmaiel

Keyword(s):

Distributed Systems ◽

Knapsack Problem ◽

Problem Model ◽

Resource Aware ◽

Test Architecture

Download Full-text

Extending Coverage Criteria by Evaluating Their Robustness to Code Structure Changes

Testing Software and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-34691-0_13 ◽

2012 ◽

pp. 168-183 ◽

Cited By ~ 1

Author(s):

Angelo Gargantini ◽

Marco Guarnieri ◽

Eros Magri

Keyword(s):

Coverage Criteria ◽

Structure Changes ◽

Code Structure

Download Full-text

State Estimation and Property-Guided Exploration for Hybrid Systems Testing

Testing Software and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-34691-0_12 ◽

2012 ◽

pp. 152-167 ◽

Cited By ~ 2

Author(s):

Thao Dang ◽

Noa Shalev

Keyword(s):

State Estimation ◽

Hybrid Systems ◽

Guided Exploration

Download Full-text

Testing Software and Systems - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Using Behaviour Inference to Optimise Regression Test Sets

Protocol Testing and Performance Evaluation for MANETs with Non-uniform Node Density Distribution

Active Learning of Extended Finite State Machines

Efficient and Trustworthy Tool Qualification for Model-Based Testing Tools

Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance Testing

Lightweight Automatic Error Detection by Monitoring Collar Variables

A Technique for Agile and Automatic Interaction Testing for Product Lines

Using Knapsack Problem Model to Design a Resource Aware Test Architecture for Adaptable and Distributed Systems

Extending Coverage Criteria by Evaluating Their Robustness to Code Structure Changes

State Estimation and Property-Guided Exploration for Hybrid Systems Testing

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