The proof is in the testing: The Swiss breakthrough that will make software more reliable

Researchers at a Swiss institute have come up with a new technique for software testing that could make finished products more reliable.