Network Specification Mining with High Fidelity and Scalability | IEEE Conference Publication | IEEE Xplore