Testing – Practice and Research Techniques - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642155840, 9783642155857

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Automatic Discovery of Unspecified Behaviors in Automotive Control Software

Testing – Practice and Research Techniques - Lecture Notes in Computer Science ◽

10.1007/978-3-642-15585-7_18 ◽

2010 ◽

pp. 181-188 ◽

Cited By ~ 1

Author(s):

Muzammil Shahbaz ◽

Robert Eschbach

Keyword(s):

Control Software ◽

Automotive Control ◽

Automatic Discovery ◽

Automotive Control Software

Download Full-text

Automatic Testing and Fixing for Eiffel

Testing – Practice and Research Techniques - Lecture Notes in Computer Science ◽

10.1007/978-3-642-15585-7_1 ◽

2010 ◽

pp. 1-4

Author(s):

Bertrand Meyer

Keyword(s):

Automatic Testing

Download Full-text

Microsoft’s Protocol Documentation Program: A Success Story for Model-Based Testing

Testing – Practice and Research Techniques - Lecture Notes in Computer Science ◽

10.1007/978-3-642-15585-7_3 ◽

2010 ◽

pp. 7-7 ◽

Cited By ~ 2

Author(s):

Wolfgang Grieskamp

Keyword(s):

Success Story ◽

Model Based ◽

Model Based Testing ◽

Documentation Program

Download Full-text

A Multi-criteria Decision Making Framework for Real Time Model-Based Testing

Testing – Practice and Research Techniques - Lecture Notes in Computer Science ◽

10.1007/978-3-642-15585-7_20 ◽

2010 ◽

pp. 194-197 ◽

Cited By ~ 2

Author(s):

Mohammad Saeed Abou Trab ◽

Bachar Alrouh ◽

Steve Counsell ◽

Rob M. Hierons ◽

George Ghinea

Keyword(s):

Decision Making ◽

Real Time ◽

Multi Criteria Decision Making ◽

Time Model ◽

Model Based ◽

Model Based Testing ◽

Decision Making Framework

Download Full-text

An Empirical Evaluation to Study Benefits of Visual versus Textual Test Coverage Information

Testing – Practice and Research Techniques - Lecture Notes in Computer Science ◽

10.1007/978-3-642-15585-7_19 ◽

2010 ◽

pp. 189-193 ◽

Cited By ~ 4

Author(s):

Vahid Garousi ◽

Negar Koochakzadeh

Keyword(s):

Empirical Evaluation ◽

Test Coverage

Download Full-text

Mining API Popularity

Testing – Practice and Research Techniques - Lecture Notes in Computer Science ◽

10.1007/978-3-642-15585-7_17 ◽

2010 ◽

pp. 173-180 ◽

Cited By ~ 20

Author(s):

Yana Momchilova Mileva ◽

Valentin Dallmeier ◽

Andreas Zeller

Download Full-text

Synthesis of On-Line Planning Tester for Non-deterministic EFSM Models

Testing – Practice and Research Techniques - Lecture Notes in Computer Science ◽

10.1007/978-3-642-15585-7_14 ◽

2010 ◽

pp. 147-154 ◽

Cited By ~ 1

Author(s):

Marko Kääramees ◽

Jüri Vain ◽

Kullo Raiend

Keyword(s):

Line Planning ◽

On Line

Download Full-text

A Fault Injection Tool for Testing Web Services Composition

Testing – Practice and Research Techniques - Lecture Notes in Computer Science ◽

10.1007/978-3-642-15585-7_13 ◽

2010 ◽

pp. 137-146 ◽

Cited By ~ 6

Author(s):

Fayçal Bessayah ◽

Ana Cavalli ◽

Willian Maja ◽

Eliane Martins ◽

Andre Willik Valenti

Keyword(s):

Web Services ◽

Fault Injection ◽

Web Services Composition ◽

Services Composition

Download Full-text

Towards Run-Time Monitoring of Web Services Conformance to Business-Level Agreements

Testing – Practice and Research Techniques - Lecture Notes in Computer Science ◽

10.1007/978-3-642-15585-7_22 ◽

2010 ◽

pp. 203-206 ◽

Cited By ~ 5

Author(s):

Konstantinos Bratanis ◽

Dimitris Dranidis ◽

Anthony J. H. Simons

Keyword(s):

Web Services ◽

Run Time

Download Full-text

Does Testing Help to Reduce the Number of Potentially Faulty Statements in Debugging?

Testing – Practice and Research Techniques - Lecture Notes in Computer Science ◽

10.1007/978-3-642-15585-7_9 ◽

2010 ◽

pp. 88-103 ◽

Cited By ~ 9

Author(s):

Mihai Nica ◽

Simona Nica ◽

Franz Wotawa

Download Full-text

Testing – Practice and Research Techniques - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Automatic Discovery of Unspecified Behaviors in Automotive Control Software

Automatic Testing and Fixing for Eiffel

Microsoft’s Protocol Documentation Program: A Success Story for Model-Based Testing

A Multi-criteria Decision Making Framework for Real Time Model-Based Testing

An Empirical Evaluation to Study Benefits of Visual versus Textual Test Coverage Information

Mining API Popularity

Synthesis of On-Line Planning Tester for Non-deterministic EFSM Models

A Fault Injection Tool for Testing Web Services Composition

Towards Run-Time Monitoring of Web Services Conformance to Business-Level Agreements

Does Testing Help to Reduce the Number of Potentially Faulty Statements in Debugging?

Testing – Practice and Research Techniques - Lecture Notes in Computer Science
Latest Publications