World-Class Product Certification using Erlang (2002)

Cached

Download Links

by Ulf Wiger , Gösta Ask , Kent Boortz , Ericsson Ab
Venue:SIGPLAN Notices
Citations:8 - 1 self

Documents Related by Co-Citation

309 QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs – Koen Claessen, John Hughes - 2000
12 Detecting software defects in telecom applications through lightweight static analysis: A war story – Tobias Lindahl, Konstantinos Sagonas - 2004
45 Static Analysis versus Software Model Checking for Bug Finding – Dawson Engler, Madanlal Musuvathi - 2004
94 Concurrent Programming in ERLANG – Joe Armstrong, Robert Virding, Claes Wikström, Mike Williams - 1993
21 Open telecom platform – Seved Torstendahl - 1997
7 Concurrent functional programming for telecommunications: A case study of technology introduction – Bjarne Däcker - 2000
9 Use of Prolog for developing a new programming language – J. L. Armstrong, S.R. Virding, M. C. Williams - 1992
195 Why Do Computers Stop And What Can Be Done About It? – Jim Gray - 1985
47 A Practical Subtyping System For Erlang – Simon Marlow, Philip Wadler - 1997
2 Voice and Telephony Networking over ATM – J Holler - 1998
1 Installation Guide, OS Specific Parts. Telefonaktiebolaget LM – Manual - 1996
1 Yaws - yet another web server – Claes Wikström - 2002
1 Testing Implementations of Formally Verified Algorithms – Thomas Arts , Koen Claessen, et al. - 2005
26 Software test automation: effective use of test execution tools – M Fewster, D Graham - 1999
189 Simplifying and isolating failure-inducing input – Andreas Zeller, Ralf Hildebrandt - 2002
119 Augmented BNF for Syntax Specifications: ABNF – D Crocker, P Overell - 1997
14 Verifying Erlang code: A resource locker case-study – T Arts, C B Earle, J Derrick
9 Test Generation with Autolink and TestComposer – M. Schmitt, M. Ebner, J. Grabowski - 2000
13 Erlang 4.7.3 Reference Manual – Jonas Barklund, Robert Virding - 1999