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
Olga Grinchtein, Mats Carlsson, Justin Pearson, "Testing of a telecommunication protocol using constraint programming", 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW), vol. 00, no. , pp. 1-3, 2015, doi:10.1109/ICSTW.2015.7107467