Embodiments of the present invention describe methods of determining the occlusion of body lumens and apparatuses for doing so. In one particular embodiment, the occlusion of the fallopian tubes by an intrafallopian contraceptive device may be confirmed by contrast enhanced ultrasonography (also known as stimulated acoustic emission hysterosalpingo-contrast sonography). In these embodiments a contrast agent containing microbubbles is used.