Testing telecoms software with quviq QuickCheck

Erlang'06 - Proceedings of the ACM SIGPLAN 2006 Erlang Workshop

Volumn 2006, Issue , 2006, Pages 2-10

  Arts, Thomas ^a,b   Hughes, John ^b,c   Johansson, Joakim ^d   Wiger, Ulf ^d  

^a UNIVERSITY OF GOTHENBURG   (Sweden)

^b Quviq AB ^*  (Sweden)

^c CHALMERS UNIVERSITY OF TECHNOLOGY   (Sweden)

^d ERICSSON RESEARCH   (Sweden)

Author keywords

Property based testing; Test automation

Indexed keywords

ERICSSON (CO); PROPERTY BASED TESTING; TEST AUTOMATION;

AUTOMATION; COMPUTATIONAL METHODS; ERROR DETECTION; SOFTWARE ENGINEERING; SPECIFICATIONS; TELECOMMUNICATION SYSTEMS;

COMPUTER SOFTWARE MAINTENANCE;

EID: 33751002368     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (9)

1. Thomas Arts, Koen Claessen, John Hughes, and Hans Svensson. Testing implementations of formally verified algorithms. In Proceedings of the fifth conference on Software Engineering Research and Practice in Sweden, October 20-21 2005.
2. Thomas Arts and John Hughes. Erlang/quickcheck. In Ninth International Erlang/OTP User Conference, November 2003.
3. Koen Claessen and John Hughes. Quickcheck: a lightweight tool for random testing of haskell programs. In ICFP, pages 268-279, 2000.
4. David H. Crocker and Paul Overell. Augmented BNF for syntax specifications: ABNF. Technical report, Internet proposed standard, October 2005.
5. Marc Fewster and Dorothy Graham. Software Test Automation - Effective use of test execution tools. ACM press/Addison-Wesley, 1999.
6. International Organization for Standardization. Information processing systems - Open Systems Interconnection (OSI) - specification of Abstract Syntax Notation One (ASN.1). Technical report, 1995.
7. Telecommunication Standardization sector of ITU. ITU-T Rec. H248.1, gateway control protocol. Technical report, International Telecommunication Union, September 2005.
8. U. Wiger, G. Ask, and K. Boortz. World-class product certification using erlang. In John Hughes, editor, Erlang Workshop, Pittsburgh, 2002, ACM SIGPLAN.
9. R. Zeller, A. Hildebrandt. Simplifying and isolating failure-inducing input. IEEE Transactions on Software Engineering, 28:183-200, February 2002.