Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving.
Pablo AbadNazareno AguirreValeria S. BengoleaDaniel Alfredo CiolekMarcelo F. FriasJuan P. GaleottiTom MaibaumMariano M. MoscatoNicolás RosnerIgnacio VissaniPublished in: ICST (2013)