In this paper we show how application-users can interactively experiment with ObjectIO applications of arbitrary size in order to find its temporary, conditional, or invariant properties. The goal is to gain confidence in the quality of the application, and to seek properties that can be proven correct perhaps using formal proof tools.