Quviq AB / Ericsson AB / Testing Telecoms Software / specific Media / Erlang Workshop / /
Country
Sweden / United States / /
Currency
USD / / /
Event
FDA Phase / Funding / Product Issues / /
Facility
Chalmers University / Quviq QuickCheck Thomas Arts John Hughes IT University of G¨oteborg / /
IndustryTerm
large and complex protocols / media gateway / industrial software / internet multimedia subsystems / real telecommunication protocols / media streams / telecommunications software / mobile telecommunications systems / telephony / leader election algorithm / lightweight tool / test server / gateway control protocol / control software / software testing tool / test execution tools / telecommunica¨ tion products / telecommunication equipment / software cancels / media descriptor / verified algorithms / software defects / simplified media gateway / media firewall / media proxy / remote media line / media proxy tests / similar protocols / software testing methods / particular protocol / Information processing systems / telecoms software / property-based testing tool / /
NaturalFeature
#’MediaDescriptor’{ streams / streams=Streams / /
Organization
International Organization for Standardization / Quviq QuickCheck Thomas Arts John Hughes IT University of G¨oteborg / International Telecommunication Union / /
Person
Marc Fewster / Thomas Arts / John Hughes / Koen Claessen / Paul Overell / Dorothy Graham / Hans Svensson / David H. Crocker / Thomas Arts John Hughes / Joakim Johansson Ulf Wiger / /
Position
editor / consultant / General / interpreter / Gateway Controller / Media Gateway Controller / abstract model for this purpose / controller / media gateway controller / a separate physical unit / /
Product
QuickCheck / Media Proxy / H248 / Our solution / Quviq QuickCheck / one command / /
ProgrammingLanguage
Erlang / C / Haskell / /
ProvinceOrState
Oregon / /
PublishedMedium
IEEE Transactions on Software Engineering / /
Technology
real telecommunication protocols / API / one particular protocol / underlying Session Data Protocol / leader election algorithm / Megaco protocol / formally verified algorithms / H.248 / gateway control protocol / firewall / H.248 protocol / /