Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

42

ERLANG
2009
ACM

favoriteEmaildiscussreport

228views Programming Languages» more ERLANG 2009»

Automatic testing of TCP/IP implementations using QuickCheck

14 years 3 months ago

Automatic testing of TCP/IP implementations using QuickCheck

Download www.erlang-factory.com

Javier Paris, Thomas Arts

Real-time Traffic

ERLANG 2009 |

claim paper

Related Content

» Testing Erlang Refactorings with QuickCheck

» Testing telecoms software with quviq QuickCheck

» Roll your own test bed for embedded realtime protocols a haskell experience

» Testing Erlang data types with quviq quickcheck

» Testing the Implementation of Business Rules Using Intensional Database Tests

» Testing a Grammar Customization System with Sahaptin

» Lean Implementations of Software Testing Tools Using XML Representations of Source Codes

» Finding latent performance bugs in systems implementations

» Representation dependence testing using program inversion

Post Info
More Details (n/a)

Added	22 Jul 2010
Updated	22 Jul 2010
Type	Conference
Year	2009
Where	ERLANG
Authors	Javier Paris, Thomas Arts

Comments (0)