|
Conferences in DBLP
Cleaning up Erlang code is a dirty job but somebody's gotta do it. [Citation Graph (, )][DBLP]
Automated module interface upgrade. [Citation Graph (, )][DBLP]
Automatic assessment of failure recovery in Erlang applications. [Citation Graph (, )][DBLP]
Teaching Erlang using robotics and player/stage. [Citation Graph (, )][DBLP]
Development of a distributed system applied to teaching and learning. [Citation Graph (, )][DBLP]
ECT: an object-oriented extension to Erlang. [Citation Graph (, )][DBLP]
Implementing an LTL-to-Büchi translator in Erlang: a protest experience report. [Citation Graph (, )][DBLP]
Model based testing of data constraints: testing the business logic of a Mnesia application with Quviq QuickCheck. [Citation Graph (, )][DBLP]
Automatic testing of TCP/IP implementations using QuickCheck. [Citation Graph (, )][DBLP]
Recent improvements to the McErlang model checker. [Citation Graph (, )][DBLP]
|