Formal Approaches to Software Testing - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540251095, 9783540318484

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Ordering Mutants to Minimise Test Effort in Mutation Testing

Formal Approaches to Software Testing - Lecture Notes in Computer Science ◽

10.1007/978-3-540-31848-4_14 ◽

2005 ◽

pp. 195-209 ◽

Cited By ~ 7

Author(s):

Kalpesh Kapoor ◽

Jonathan P. Bowen

Keyword(s):

Mutation Testing

Download Full-text

High-Level Restructuring of TTCN-3 Test Data

Formal Approaches to Software Testing - Lecture Notes in Computer Science ◽

10.1007/978-3-540-31848-4_13 ◽

2005 ◽

pp. 180-194 ◽

Cited By ~ 3

Author(s):

Antal Wu-Hen-Chang ◽

D ung Le Viet ◽

Gabor Batori ◽

Roland Gecse ◽

Gyula Csopaki

Keyword(s):

Test Data ◽

High Level

Download Full-text

Using Model Checking for Reducing the Cost of Test Generation

Formal Approaches to Software Testing - Lecture Notes in Computer Science ◽

10.1007/978-3-540-31848-4_8 ◽

2005 ◽

pp. 110-124 ◽

Cited By ~ 5

Author(s):

Hyoung Seok Hong ◽

Hasan Ural

Keyword(s):

Model Checking ◽

Test Generation ◽

The Cost

Download Full-text

Testing Deadlock-Freeness in Real-Time Systems: A Formal Approach

Formal Approaches to Software Testing - Lecture Notes in Computer Science ◽

10.1007/978-3-540-31848-4_7 ◽

2005 ◽

pp. 95-109 ◽

Cited By ~ 2

Author(s):

Behzad Bordbar ◽

Kozo Okano

Keyword(s):

Real Time ◽

Real Time Systems ◽

Formal Approach ◽

Time Systems

Download Full-text

Preserving Contexts for Soft Conformance Relation

Formal Approaches to Software Testing - Lecture Notes in Computer Science ◽

10.1007/978-3-540-31848-4_3 ◽

2005 ◽

pp. 33-48

Author(s):

David de Frutos Escrig ◽

Carlos Gregorio Rodróguez

Download Full-text

Semi-formal Development of a Fault-Tolerant Leader Election Protocol in Erlang

Formal Approaches to Software Testing - Lecture Notes in Computer Science ◽

10.1007/978-3-540-31848-4_10 ◽

2005 ◽

pp. 140-154 ◽

Cited By ~ 4

Author(s):

Thomas Arts ◽

Koen Claessen ◽

Hans Svensson

Keyword(s):

Fault Tolerant ◽

Leader Election ◽

Formal Development

Download Full-text

Test Generation Based on Symbolic Specifications

Formal Approaches to Software Testing - Lecture Notes in Computer Science ◽

10.1007/978-3-540-31848-4_1 ◽

2005 ◽

pp. 1-15 ◽

Cited By ~ 49

Author(s):

Lars Frantzen ◽

Jan Tretmans ◽

Tim A. C. Willemse

Keyword(s):

Test Generation

Download Full-text

Test Patterns with TTCN-3

Formal Approaches to Software Testing - Lecture Notes in Computer Science ◽

10.1007/978-3-540-31848-4_12 ◽

2005 ◽

pp. 170-179 ◽

Cited By ~ 6

Author(s):

Alain Vouffo-Feudjio ◽

Ina Schieferdecker

Download Full-text

An Automata-Theoretic Approach for Model-Checking Systems with Unspecified Components

Formal Approaches to Software Testing - Lecture Notes in Computer Science ◽

10.1007/978-3-540-31848-4_11 ◽

2005 ◽

pp. 155-169 ◽

Cited By ~ 2

Author(s):

Gaoyan Xie ◽

Zhe Dang

Keyword(s):

Model Checking ◽

Theoretic Approach

Download Full-text

Online Testing of Real-time Systems Using Uppaal

Formal Approaches to Software Testing - Lecture Notes in Computer Science ◽

10.1007/978-3-540-31848-4_6 ◽

2005 ◽

pp. 79-94 ◽

Cited By ~ 57

Author(s):

Kim G. Larsen ◽

Marius Mikucionis ◽

Brian Nielsen

Keyword(s):

Real Time ◽

Online Testing ◽

Real Time Systems ◽

Time Systems

Download Full-text

Formal Approaches to Software Testing - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Ordering Mutants to Minimise Test Effort in Mutation Testing

High-Level Restructuring of TTCN-3 Test Data

Using Model Checking for Reducing the Cost of Test Generation

Testing Deadlock-Freeness in Real-Time Systems: A Formal Approach

Preserving Contexts for Soft Conformance Relation

Semi-formal Development of a Fault-Tolerant Leader Election Protocol in Erlang

Test Generation Based on Symbolic Specifications

Test Patterns with TTCN-3

An Automata-Theoretic Approach for Model-Checking Systems with Unspecified Components

Online Testing of Real-time Systems Using Uppaal

Formal Approaches to Software Testing - Lecture Notes in Computer Science
Latest Publications