Testing of a telecommunication protocol using constraint programming 2015 (Engelska)Ingår i: 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 2015, 6, artikel-id 7107467Konferensbidrag, Publicerat paper (Refereegranskat)

Abstract [en]

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.

Ort, förlag, år, upplaga, sidor

2015, 6. artikel-id 7107467

Nationell ämneskategori

Data- och informationsvetenskap

Identifikatorer

URN: urn:nbn:se:ri:diva-24498DOI: 10.1109/ICSTW.2015.7107467Scopus ID: 2-s2.0-84934344163ISBN: 978-1-4799-1885-0 (digital)OAI: oai:DiVA.org:ri-24498DiVA, id: diva2:1043582

Konferens

8th IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW 2015), April 13-17, 2015, Graz, Austria

Projekt

SICStus PrologTillgänglig från: 2016-10-31 Skapad: 2016-10-31 Senast uppdaterad: 2025-09-23Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltextScopus

Person

Carlsson, Mats

Sök vidare i DiVA

Av författaren/redaktören

Carlsson, Mats

Av organisationen

Computer Systems Laboratory

I ämnet

Data- och informationsvetenskap

Sök vidare utanför DiVA

GoogleGoogle ScholarTotalt: 89 träffar