2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW) (2015)
April 13, 2015 to April 17, 2015
Olga Grinchtein , Ericsson AB Stockholm, Sweden
Mats Carlsson , SICS, Stockholm, Sweden
Justin Pearson , Department of Information Technology, Uppsala University, Sweden
We present an approach of implementing part of a telecommunication test harness using constraint programming. Our case study is the Public Warning System service, which is a part of the Long Term Evolution (LTE) 4G standard.
Protocols, Programming, Testing, Long Term Evolution, Alarm systems, Delays
O. Grinchtein, M. Carlsson and J. Pearson, "Testing of a telecommunication protocol using constraint programming," 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW), Graz, Austria, 2015, pp. 1-3.