Black-box testing for Unix command line tools