Challenges to support automated random testing for dynamically typed languages

Automated random testing is a proven way to identify bugs and precondition violations, and this even in well tested li-braries. In the context of statically typed languages, current automated random testing tools heavily take advantage of static method declaration (argument types, thrown excep-tions) to constrain input domains while testing and to iden-tify errors. For such reason, automated random testing has not been investigated in the context of dynamically typed languages. In this paper we present the key challenges that have to be addressed to support automated testing in dy-namic languages. 1