Pex enables a new development experience in Visual Studio Team System, taking test-driven development to the next level. Pex analyzes .NET applications. From a parameterized unit test, it automatically produces traditional unit tests cases with high code coverage. Moreover, when a generated test fails, Pex can often suggest a bug fix.
Two of the most challenging problems tackled with quadrocopters so far are balancing an inverted pendulum and juggling balls. My colleagues at ETH Zurich's Flying Machine Arena have now combined the two. As part of his Master thesis Dario Brescianini, student at ETH Zurich's Institute for Dynamic Systems and Control, has developed algorithms that allow quadrocopters to juggle an inverted pendulum.
We feel that it's important our customers receive an update from us on a recent security situation. We have an investigation underway and do not have the answer to every question. We've become aware that a hacker accessed our system this week.