@inproceedings{32819fb8c9aa421290f7c47efccaa996,
title = "Validating the behavioral equivalence of TTCN-3 test cases",
abstract = "Refactoring has been proven as useful means to improve the quality of source code. However, when improperly applied, it may introduce undesired changes to the observable behavior of the software. In this paper, an equivalence checking approach is presented to validate the behavior preservation after the application of refactoring in the domain of test cases specified using the Testing and Test Control Notation Version 3 (TTCN-3). The approach is based on bisimulation and incrementally checks the observable behavior of two test cases at runtime for equivalence. The approach is implemented prototypically and sample experiments are conducted to evaluate the effectiveness of the approach.",
keywords = "Behavior, Bisimulation, Equivalence, TTCN-3",
author = "Philip Makedonski and Jens Grabowski and Helmut Neukirchen",
year = "2009",
doi = "10.1109/VALID.2009.13",
language = "English",
isbn = "9780769537740",
series = "1st International Conference on Advances in System Testing and Validation Lifecycle, VALID 2009",
pages = "117--122",
booktitle = "1st International Conference on Advances in System Testing and Validation Lifecycle, VALID 2009",
note = "1st International Conference on Advances in System Testing and Validation Lifecycle, VALID 2009 ; Conference date: 20-09-2009 Through 25-09-2009",
}