Random Testing with Austere Budgeting in T3: Benchmarking at SBST2019 Testing Tool Contest | IEEE Conference Publication | IEEE Xplore