Declarative Testing: A Paradigm for Testing Software Applications | IEEE Conference Publication | IEEE Xplore