Robert Setiadi, Man Fai Lau. A Structured Model of Consistency Rules in After-State Database Testing. In IEEE 38th Annual Computer Software and Applications Conference, COMPSAC Workshops 2014, Vasteras, Sweden, July 21-25, 2014. pages 650-655, IEEE, 2014. [doi]