Top results
slide 1 peli de halleux, nikolai tillmann research in software engineering microsoft research, redmond, usa slide 2 1999… people packing groceries for the y2k bug …
slide 1 pex xxx white box test generation for.net nikolai tillmann, peli de halleux microsoft research slide 2 2 a unit test is a small program with assertions. void addtest()…
functional parameterized unit testing transferring an automated test generation tool to practice: from pex to fakes and code digger nikolai tillmann, jonathan de halleux…
mutation analysis of parameterized unit tests mutation analysis of parameterized unit tests tao xie north carolina state university nikolai tillmann, peli de halleux, wolfram…
slide 1 tutorial nikolai tillmann, peli de halleux, wolfram schulte (microsoft research) tao xie (north carolina state university) slide 2 unit testing parameterized…
z3: an efficient smt solver pexxxx white box test generation for .net nikolai tillmann, peli de halleux microsoft research 2 unit testing today a unit test is a small program…
slide 1 program exploration with pex nikolai tillmann, peli de halleux pex http://research.microsoft.com/pex slide 2 test input generator pex starts from parameterized unit…
slide 1 tao xie (north carolina state university) nikolai tillmann, jonathan de halleux, wolfram schulte (microsoft research, redmond wa, usa) slide 2 software testing…
slide 1it’s alive! continuous feedback in ui programming sebastian burckhardt manuel fahndrich peli de halleux sean mcdirmid michal moskal nikolai tillmann microsoft research…
slide 1tao xie north carolina state university in collaboration with nikolai tillmann, peli de halleux, wolfram schulte @microsoft research and students @ncsu ase slide 2…
powerpoint presentation code hunt: experience with coding contests at scale judith bishop, r nigel horspool, tao xie, nikolai tillmann, jonathan de halleux microsoft research,…
functional parameterized unit testing how human and machine cooperate to get job done cooperative developer testing: tao xie north carolina state university in collaboration…
slide 1 touch develop a mobile ide in the cloud michał moskal, nikolai tillmann, peli de halleux, tom ball, sebastian burckhardt, manuel fähndrich* microsoft research slide…
slide 1tutorial pex4fun: teaching and learning computer science via social gaming http://pex4fun.com nikolai tillmann, jonathan de halleux, judith bishop, michal moskal microsoft…
functional parameterized unit testing for developer testing separation of concerns tao xie peking university, china north carolina state university, usa in collaboration…
slide 1mike barnett rsde microsoft research nikolai tillmann rsde microsoft research tl51 slide 2 mike barnett rsde microsoft research nikolai tillmann rsde microsoft research…
slide 1 parameterized unit testing ictss’11 tutorial nikolai tillmann microsoft research slide 2 outline first part: 14:00 - 15:00pm second part: 15:30 - 17:00pm…
the bbc micro:bit and c++ the bbc micro:bit and microsoft touch develop tom ball, peli de halleux, michał moskal, jonathan protzenko microsoft research http://www.microbit.co.uk/…
slide 1 pex white box test generation for.net nikolai tillmann, microsoft research smt 2008 slide 2 2 a unit test is a small program with assertions. void addtest() { hashset…
slide 1touchdevelop create apps on your phone! peli de halleux (senior software developer) microsoft research slide 2 > slide 3 technology shift http://www.businessinsider.com/the-future-of-mobile-deck-2012-3…