BioSIMP: Using Software Testing Techniques for Sampling and Inference in Biological Organisms | IEEE Conference Publication | IEEE Xplore