Random tests on system calls