2302 search results - page 16 / 461 » Testing as Abstraction |
101
click to vote
MEDINFO
2007
15 years 3 months ago
2007
Abstraction and Data Mining with Visualization of Laboratory Data Katsuhiko Takabayashi a , Tu Bao Ho b , Hideto Yokoi c , Trong Dung Nguyen b , Saori Kawasaki b , Si Quang Le b , ...
114
click to vote
ENTCS
2008
15 years 2 months ago
2008
Abstract. j-POST is an integrated toolchain for property-oriented software testing. This toolchain includes a test designer, a test generator, and a test execution engine. The test...
131
click to vote
CMS
2006
15 years 3 months ago
2006
Abstract. Completely Automated Public Turing Test to tell Computers and Humans Apart (CAPTCHA) is a
109
click to vote
DATE
2003
IEEE
15 years 7 months ago
2003
IEEE
ng precision of abstract SystemC models using the SystemC Verification Standard Franco Carbognani1 , Christopher K. Lennard2 , C. Norris Ip3 , Allan Cochrane2 , Paul Bates2 1 Caden...
126
click to vote
CI
2005
15 years 1 months ago
2005
TRACT SPECIFICATIONS FEI XIA AND MARTHA PALMER Department of Computer and Information Science, University of Pennsylvania, Philadelphia, PA 19104 K. VIJAY-SHANKER Department of Com...