An Approach and Mechanism for Auditable and Testable Advanced Transaction Processing Systems | IEEE Journals & Magazine | IEEE Xplore