Conference paperAutomated Testing of COBOL to Java TransformationSandeep Hans, Atul Kumar, et al.FSE 2025
Conference paperVerifying the consistency of security policies by abstracting into security typesKouichi Ono, Yuichi Nakamura, et al.ICWS 2007
Conference paperMethodology and tools for end-to-end SOA security configurationsFumiko Satoh, Michiaki Tatsubori, et al.SERVICES 2008