Các kho mã nguồn mở đang theo dõi của proper-testing, sắp xếp theo số sao.
PropEr: công cụ kiểm thử dựa trên thuộc tính lấy cảm hứng từ QuickCheck cho Erlang
