Alberto Gonzalez Prieto, Alfred Leung, Kevin Rockwell: Automating the testing of RESTCONF agents. IM 2015: 984-989