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

TOTAL DOCUMENTS

15
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540251095, 9783540318484
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

High-Level Restructuring of TTCN-3 Test Data

2005 ◽  
pp. 180-194 ◽  
Author(s):  
Antal Wu-Hen-Chang ◽  
D ung Le Viet ◽  
Gabor Batori ◽  
Roland Gecse ◽  
Gyula Csopaki
Keyword(s):  
Test Data ◽  
High Level

scholarly journals Preserving Contexts for Soft Conformance Relation

2005 ◽  
pp. 33-48
Author(s):  
David de Frutos Escrig ◽  
Carlos Gregorio Rodróguez

scholarly journals Test Generation Based on Symbolic Specifications

2005 ◽  
pp. 1-15 ◽  
Author(s):  
Lars Frantzen ◽  
Jan Tretmans ◽  
Tim A. C. Willemse
Keyword(s):  
Test Generation

Test Patterns with TTCN-3

2005 ◽  
pp. 170-179 ◽  
Author(s):  
Alain Vouffo-Feudjio ◽  
Ina Schieferdecker
Load More ...
Sign in / Sign up

Export Citation Format

Share Document