A negative testing framework, DoLTEst, for finding non-standard-compliant bugs in LTE protocol implementations of UEs - View it on GitHub