Improved a program for goodness of fit tests for histograms with weighted entries as well as with unweighted entries which is presented in Fortran-77, C++, Python and R. The code calculates test stati
The test performed to validate the usability and effectiveness of PyDSLRep in navigational tasks were done with a total of 20 people who had prior knowledge of the Python programming language. However
This is the dataset containing the results from the user study questionnaire conducted at the TU Delft as part of the Master Thesis "Bringing Formal Verification into Widespread Programming Language E
