Testing of a telecommunication protocol using constraint programming 2015 (engelsk)Inngår i: 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 2015, 6, artikkel-id 7107467Konferansepaper, Publicerat paper (Fagfellevurdert)

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.

sted, utgiver, år, opplag, sider

2015, 6. artikkel-id 7107467

HSV kategori

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

Konferanse

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

Prosjekter

SICStus PrologTilgjengelig fra: 2016-10-31 Laget: 2016-10-31 Sist oppdatert: 2025-09-23bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fulltekstScopus

Person

Carlsson, Mats

Søk i DiVA

Av forfatter/redaktør

Carlsson, Mats

Av organisasjonen

Om emnet

Søk utenfor DiVA

GoogleGoogle ScholarTotalt: 89 treff