Verifysoft in the News 2004-2008

Further news are available from the tool specific news pages:
Conformiq Tool Suite     Coverity     DataDrill Express     Elvior TestCast     Software Diagnostics     Testwell CMT++/CMTJava     Testwell CTC++     Verifysoft/general     only latest news (all tools)    

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) Homepage ECE

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) Homepage ECE

Tool automatically generates software tests Verifysoft Technology will exhibit a number of new products at Embedded World. Conformiq Test Generator replaces the time consuming process of writing test scripts with the building of a test model. ... The test generator analyses this model and generates automatically a large number of relevant tests that cover all combinations and aspects of the model. ... Embedded Systems EUROPE January/February 2006: Article

Verifysoft: automatic software testing tool Conformiq Test Generator replaces the time-consuming process of writing test scripts with the building of a test model. This releases the burden of writing manual test cases and script programming from the test engineers. Embedded Control Europe (February 2006)

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)

News in other languages: German, French

last updated: 28.04.2011

© 2011 Verifysoft Technology GmbH
CTA++, CTC++, CMT++ and CMTJava are products of Testwell Oy, Tampere (Finland)
CTC++ for Java and C# add-on is a product of Verifysoft Technology GmbH
Conformiq Tool Suite, Conformiq Modeler and Conformiq Designer are products and trademarks of Conformiq, Saratoga (USA)/Espoo (Finland)
Coverity Static Analysis, Coverity Prevent and Extend are products and trademarks of Coverity, San Francisco (USA)
DataDrill Express is a product of Distributive Management, Fredericksburg VA (USA), main distributor for Europe: Spirula, Palaiseau (France)
Elvior TestCast is a product of Elvior, Tallinn (Estonia)
Software Diagnostics Developer Edition and Software Diagnostics Studio are tools of Software Diagnostics GmbH, Potsdam (Germany)
all other trademarks of this site are the property of their respective owners.