Experience report: the reactis validation tool

Reactis is a commercially successful testing and validation tool which is implemented almost entirely in Standard ML. Our experience using a functional language to develop a commercial product has led us to the conclusion that while functional languages have some disadvantages, in the case of Reactis the benefits of a functional language substantially outweigh the drawbacks.

• Type: Conference
• Year: 2007
• Where: ICFP
• Authors: Steve Sims, Daniel C. DuVarney
• Keywords: Functional Language, ICFP 2007, Programming Languages, Successful Testing, Validation Tool