Microsoft has publicly released a software testing tool that relies on model-based techniques, a test approach that is relatively new in software development. The tool, called Spec Explorer 2010, is ...

Device developers know the drill: Under the gun with time-to-market pressures, they're expected to produce near-perfect lines of code that have those devices running like a top. Meanwhile, their ...