simple linear feedback shift registers for test case generation - View it on GitHub