World-class product certification using Erlang

ACM SIGPLAN Erlang Workshop

Volumn , Issue , 2002, Pages 24-33

  Wiger, Ulf ^a   Ask, Gösta ^a   Boortz, Kent ^a  

^a ERICSSON RESEARCH   (Sweden)

Author keywords

Erlang; Testing

Indexed keywords

COMPUTER SIMULATION; COMPUTER SOFTWARE SELECTION AND EVALUATION; COMPUTER WORKSTATIONS; MIDDLEWARE; RELIABILITY;

PRODUCT CERTIFICATION;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0036986473     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/592849.592853     Document Type: Conference Paper

References (12)

1. 1/1056-FCPBT 103 104 Uen, "MAIN REQUIREMENT SPECIFICATION FOR A TEST MANAGEMENT SYSTEM", Simon Hoff's RS for TMS, including Test Automation
2. Report on LXJ/Vs stuff earlier (Phase 7 PDC)
3. Thomas Arts and Clara Benac Earle, "Development of a verified Erlang Program for Resource Locking", (is available at http://www.ericsson.com/cslab/̃thomas/publ2.shtml)
4. See http://www.prover.com/research/research-papers.xml
5. Magnus Fröberg, "Automatic Code Generation from SDL to a Declarative Programming Language", http://www.ericsson.com/cslab/publications/sdl2erlang.
6. Ericsson AXD 301, http://www.ericsson.com/datacom/ products/wan_core/axd301/index.shtml
7. Lucent Meeting 3/2/00, see http://www.slac.standford.edu/grp/trip/lucent-mar02-2000.html
8. "Taqua in the news", http://www.taqua.com/news/press_telecomclick.asp
9. Strata Incorporated, http://www.stratainc.com/private.htm
10. Ulf Wiger, "Four-fold increase in productivity and quality", FemSYS 2001, München, http://www.erlang.se/publications/Ulf_Wiger.pdf
11. ETH/RL-2001:0137, Rev A, "Automated System Test Environment for GSM on the Net"
12. B. Däcker, N. Elshiewy, P. Hedeland, C.W. Welin, M.C. Williams, "Experiments with Programming Languages and Techniques for Telecommunication Applications" (6th Intl Conference on Software Engineering for Telecommunication Switching Systems, Eindhoven 1986)