Hi Sanghu,

Actually, as we are using Microsoft Pex, our work focuses on C# only. We use a set of selected open-source projects as a benchmark. The creation of this benchmark forms one of our contributions in the project, thus sadly we cannot share it with you at the moment.

Best,

David

Hi David,

Thanks for your reply. Yes I read some papers on Pex for white-box coverage criteria. Basically, it is for .NET applications (c#). Well, I can understand that making an open source project as a benchmark is very difficult, I am also getting a lot of trouble. Anyway I will try to find suitable benchmark more. Stay connected, if any paper or experiments you publish so please do share with me (when it is ready for public).

Thanks,

Sanghu