by Balachander Krishnamurthy
Over the past few years, researchers working at AT&T Bell Laboratories have developed a set of powerful new tools and software libraries that significantly streamline the job of software developmen…