asepex

Latest Version

Historical Versions

Version 3 (added figures for tool screen snapshots and coding duel workflow; cleaned up some references)
Version 2 (addressed most review comments, cleaned up reference formats, added last para in the conclusion section, added one para in Section 6.2 starting with "To convince target users (e.g., developers from industry) to become early adopters of the Pex tool, the Pex team selected and demonstrated how Pex can be applied on complex real-world classes such as the ResourceReader class [2] from the .NET framework.")
Version 1 (cleaned up abstract and intro, added acknowledgment, changed some other places)