Sciweavers

44

ERLANG
2009
ACM

228views Programming Languages» more ERLANG 2009»

Automatic testing of TCP/IP implementations using QuickCheck

14 years 4 months ago

Automatic testing of TCP/IP implementations using QuickCheck

Download www.erlang-factory.com

Javier Paris, Thomas Arts

claim paper

Read More »

33

ERLANG
2009
ACM

128views Programming Languages» more ERLANG 2009»

Recent improvements to the McErlang model checker

14 years 6 months ago

Recent improvements to the McErlang model checker

Download www.erlang-factory.com

Clara Benac Earle, Lars-Åke Fredlund

claim paper

Read More »

27

ERLANG
2009
ACM

152views Programming Languages» more ERLANG 2009»

Automated module interface upgrade

14 years 6 months ago

Automated module interface upgrade

Download www.erlang-factory.com

László Lövei

claim paper

Read More »

31

ERLANG
2009
ACM

154views Programming Languages» more ERLANG 2009»

Cleaning up Erlang code is a dirty job but somebody's gotta do it

14 years 6 months ago

Cleaning up Erlang code is a dirty job but somebody's gotta do it

Download www.ece.cmu.edu

This paper describes opportunities for automatically modernizing Erlang applications, cleaning them up, eliminating certain bad smells from their code and occasionally also improv...

Thanassis Avgerinos, Konstantinos F. Sagonas

claim paper

Read More »