Applying Formal Methods: Testing Performance and M/E-Commerce | DealShopping Deutschland