Anna Derezinska, Anna Szustek. Tool-Supported Advanced Mutation Approach for Verification of C# Programs. In Wojciech Zamojski, Jacek Mazurkiewicz, Jaroslaw Sugier, Tomasz Walkowiak, editors, Third International Conference on Dependability of Computer Systems, DepCoS-RELCOMEX 2008, June 26-28, 2008, Szklarska Poreba, Poland. pages 261-268, IEEE Computer Society, 2008. [doi]
Abstract is missing.