Αρβανίτη, Ειρήνη Π.; Arvaniti, Eirini P.
(2011-07-20)
To PropEr είναι ένα εργαλείο ανοιχτού λογισμικού για τον αυτόματο τυχαίο έλεγχο
ιδιοτήτων συναρτήσεων, γραμμένων στη γλώσσα Erlang, από τις προδιαγραφές τους.
Αρχικά ήταν επικεντρωμένο στον έλεγχο αγνών συναρτήσεων. ...