implemented leakage test generation and updated export function