Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

29

FMCO
2004
Springer

favoriteEmaildiscussreport

97views Formal Methods» more FMCO 2004»

A Theory of Predicate-Complete Test Coverage and Generation

14 years 4 months ago

A Theory of Predicate-Complete Test Coverage and Generation

Download research.microsoft.com

Thomas Ball

Real-time Traffic

FMCO 2004 |

claim paper

Related Content

» Design of hierarchical cellular automata for onchip test pattern generator

» Specification Coverage for Testing in Circus

» Automatic generation of high coverage usability tests

» Minimal Spanning Set for Coverage Testing of Interactive Systems

» A Stochastic Theory of BlackBox Software Testing

» PET a partial evaluationbased test case generation tool for Java bytecode

» Automated test generation for engineering applications

» SCCPx a compilation profile to support testing and verification of optimized code

» A scalable softwarebased selftest methodology for programmable processors

Post Info
More Details (n/a)

Added	01 Jul 2010
Updated	01 Jul 2010
Type	Conference
Year	2004
Where	FMCO
Authors	Thomas Ball

Comments (0)