QuickCheck-Style Testing of Embedded Software using the PropEr Framework
Testing is an integral part of any software development. It is important for improving the quality of any product. There are several ways of software testing and one of the most common approaches being random testing. One way of realising random testing is to write generators which can produce suit...
Main Author: | Raina, Shivani |
---|---|
Format: | Others |
Language: | English |
Published: |
Uppsala universitet, Institutionen för informationsteknologi
2012
|
Online Access: | http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-168373 |
Similar Items
-
NBAP message construction using QuickCheck
by: Jernberg, Daniel, et al.
Published: (2007) -
Verifying Finite State Machine Behavior using QuickCheck EQC_fsm
by: Lindgren, Ida, et al.
Published: (2010) -
Automatic WSDL-guided Test Case Generation for PropEr Testing of Web Services
by: Konstantinos Sagonas, et al.
Published: (2012-10-01) -
Serve It in Proper Style
by: Kline, Beatrice
Published: (1963) -
SMT-based bounded model checking for embedded ANSI-C software
by: Cordeiro, Lucas, et al.
Published: (2012)