Boundary Value Analysis Generator