digg
Facebook Connect Join Digg About Login- Technology more
- World & Business more
- Science more
- Gaming more
- Lifestyle more
- Entertainment more
- Sports more
- Offbeat more
Software test tools boast Boulean satisfiability
linuxdevices.com — The test toolsuite vendor claims that Boulean satisfiability ("SAT") principles have not previously been applied to software quality testing. The process involves breaking down software operations into Boolean operators (AND, NOT, OR, etc.) and values (TRUE, FALSE), and takes about 150 percent as long as compiling the code.
- 18 diggs
- digg
What is Digg?
Digg is a place for people to discover and share content from anywhere on the web. Digg surfaces the best stuff as submitted and voted on by the community. Take the Tour to learn more.
People Who Dugg This Also Dugg
- Site Links
- Home
- Take a Tour
- Search Digg
- Digg Mobile
- RSS Feeds
- Popular Archive
- All About Digg
- About Us
- Contact Us
- Community Guidelines
- The Digg Blog
- Digg Townhalls & Meetups
- Jobs at Digg
- Advertise on Digg
- Diggnation Podcast
- Digg Store
- Get hats, shirts, hoodies, stickers, and more at the Digg Store.
- Digg Dialogg!
- Digg Dialogg lets you choose the questions.
- Digg Shop
Check out the new & improved Digg shop to add some Digg pizzaz to your day. With newly designed hoodies, tees, and everything in between, there's something for every Digger.
© Digg Inc. 2009
— Content created and posted by Digg users is dedicated to the public domain | Terms of Use Updated | Privacy Policy
DIGG, DIGG IT, DUGG, DIGG THIS, Digg graphics, logos, designs, page headers, button icons, scripts, and other service names are the trademarks of Digg Inc.