Detection of logic flaws in multi-party business applications via security testing