Ebeid Soliman ElSayed

http://lnkd.in/Jnn7gf

Michael Mansfield and Tayab Ali: Human rights lawyers will use the principle of universal jurisdi...

0 likes | 0 comments

http://bit.ly/15AEuAP

We talked before about Microsoft Pex, and how it choose the shown inputs. We then talked more about building blocks of parameterized unit tests and its patterns. What we missed till now is how to debug your parameterized unit tests. In order to debug your parameterized unit tests, do the following: Go to Tools >> Options >> Pex >> Diagnostic. Change the BreakOnStart option to True. Now set a break point at any line of code inside your parameterized unit test. Right click inside your parameterized unit test and select Run Pex Explorations. You will see a dialog popping asking to attach a deb...

0 likes | 0 comments

http://bit.ly/1ckzF61

Z3 is a high-performance SMT solver developed at Microsoft Research. It have been integrated with many many tools that came out from Microsoft for program analysis, testing, and verification. What SAT means ? SAT refers to Boolean satisfiability problem where we want to determine if there exists an interpretation that satisfies a given Boolean formula. In other words, it establishes if the variables of a given Boolean formula can be assigned in such a way as to make the formula evaluate to true. What SMT means ? SMT stands for Satiability Modulo Theories. SMT instance is a formula in first-...

1 likes | 0 comments

http://bit.ly/157qhB7

A close partnership between the Bing Application Experience group and Microsoft Research has enriched the Windows 8 Travel app.

0 likes | 0 comments

http://bit.ly/1biVFQD

We talked in a previous post about Microsoft Pex and how it choose values to explore your code through symbolically executing it and getting all its paths. A code path is the represented by all the conditions that have to be satisfied in order to make the code execution go to this path. Your code conditional statements will lead to different paths according to different input values. Test cases generated by Pex represents the code behavior for specific input values that lead to specific code path. Within the parameterized unit test You can use the method GetPathConditionString of the PexSym...

1 likes | 0 comments