An extended overview of the Mothra software testing environment | IEEE Conference Publication | IEEE Xplore