IAGen Invariants-Assertion-Generation - Egli, Frederick; Mengelt, Dominik (My University, 2012)
Keywords: Testing and Simulation; Java