Verifysoft in the News

Conformiq Qtronic Two Nokia Research Center researchers published a paper on the use of Conformiq Qtronic Two Nokia Research Center researchers published a paper on the use of Conformiq Qtronic for testing a "device level service" The paper appears in the collection of peer reviewed papers for TESTCOM/FATES 2007, a leading conference on mathematics and formal methods based testing. Download (Springer Verlag) LNCS 4581 (June 2007)   Coverity Prevent Coverity: new technique of source code analysis Coverity announces a software analysis engine based on Boolean satisfiability and will enable multiple solvers to identify software defects. This new technique of source code analysis is made possible by patent-pending technology from Coverity that creates a bit-accurate representation of a software system, where every relevant software operation is translated into Boolean values (true and false) and Boolean operators (such as and, not, or). This bit-accurate representation enables source code to be analyzed by SAT-based Solvers. ECE Embedded Control Europe (November 2007) Open Source Software and Source Code Analysis: A natural match Sleepless nights: Six years ago this week, I first came to understand the words "graduate student." Over the span of five days, I spent a total of two hours sleeping - the rest of my time was hacking, eating, injecting caffeine into my bloodstream, and trying to fight off hallucinations of penguins dancing around my feet. Why was I depriving myself? I was searching for bugs in Linux. Introducing the concepts of "meta-compilation" to the world through that first publication in OSDI (Operating Systems Design and Implementation) proved to be ... Securitymanager.net (October 2007) About the developers´s dream to write the perfect piece of code Don´t you love looking at a good piece of code? I´m talking about the kind of code where the design is so sound that it practically wrote itself, where there were no nasty surprises upon implementation, where it was 100% feature-complete and bug-free and you didn´t have to patch it up a bunch of times? Maybe I´m squarely in the land of Santa Claus ...   ECE Embedded Control Europe (October 2007) Open-source software bug hunt results released Washington Technology (June 2006) Coverity Study Ranks LAMP Code Quality Internet.com (March 2006) Report tracks down rogue open source code The Register (March 2006) Software analysis tools will identify defects InfoWorld (January 2006) Coverity awarded to help open source programs CIO Update (January 2006) Linux Security a National Matter in USA Internet.com (January 2006)

Have a look to our News in German language

Have a look to our News in French language

last updated: 05.01.2009

© 2004-2009 Verifysoft Technology GmbH
CTA++, CTC++, CMT++ and CMTJava are products of Testwell Oy, Tampere (Finland)
Conformiq Qtronic is a product and a trademark of Conformiq Software Ltd., Espoo (Finland)
Coverity Prevent and Coverity Extend are products and trademarks of Coverity, San Francisco (USA)
all other trademarks of this site are the property of their respective owners.