Design and User Study of a Constraint-based Framework for Business Logic Flaw Discovery | IEEE Conference Publication | IEEE Xplore