2877 search results - page 26 / 576 » The Complexity of Planarity Testing |
MR
2007
13 years 8 months ago
2007
This work describes the application of two different test structures to execute broadband microwave measurements of the dielectric constant of ceramic thin films. Coplanar wavegui...
KBSE
1998
IEEE
14 years 1 months ago
1998
IEEE
We report on GADGET, a new software test generation system that uses combinatorial optimization to obtain condition/decision coverage of C/C++ programs. The GADGET system is fully...
ICSE
2005
IEEE-ACM
14 years 9 months ago
2005
IEEE-ACM
Some software defects trigger failures only when certain complex information flows occur within the software. Profiling and analyzing such flows therefore provides a potentially i...
ICSE
2007
IEEE-ACM
14 years 9 months ago
2007
IEEE-ACM
This paper describes the Korat tool for constraint-based generation of structurally complex test inputs for Java programs. Korat takes (1) an imperative predicate that specifies t...
SIGIR
2006
ACM
14 years 2 months ago
2006
ACM
Research and development of information access technology for scanned paper documents has been hampered by the lack of public test collections of realistic scope and complexity. A...