Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
PDF Tools
Image Tools
Text Tools
OCR Tools
Symbol and Emoji Tools
On-screen Keyboard
Latex Math Equation to Image
Smart IPA Phonetic Keyboard
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
5855
search results - page 104 / 1171
»
Test generation and minimization with
Sort
relevance
views
votes
recent
update
View
thumb
title
126
click to vote
FATES
2004
Springer
79
views
Software Engineering
»
more
FATES 2004
»
Symbolic Test Case Generation for Primitive Recursive Functions
15 years 11 months ago
Download
www.brucker.ch
Achim D. Brucker, Burkhart Wolff
claim paper
Read More »
127
click to vote
FMCO
2004
Springer
97
views
Formal Methods
»
more
FMCO 2004
»
A Theory of Predicate-Complete Test Coverage and Generation
15 years 11 months ago
Download
research.microsoft.com
Thomas Ball
claim paper
Read More »
114
click to vote
DATE
2003
IEEE
109
views
Hardware
»
more
DATE 2003
»
Fully Automatic Test Program Generation for Microprocessor Cores
15 years 11 months ago
Download
www.cs.bris.ac.uk
Fulvio Corno, Gianluca Cumani, Matteo Sonza Reorda...
claim paper
Read More »
125
click to vote
DATE
2003
IEEE
73
views
Hardware
»
more
DATE 2003
»
Test Generation for Acyclic Sequential Circuits with Single Stuck-at Fault Combinational ATPG
15 years 11 months ago
Download
www.date-conference.com
Hideyuki Ichihara, Tomoo Inoue
claim paper
Read More »
89
click to vote
DATE
2003
IEEE
62
views
Hardware
»
more
DATE 2003
»
RTL Test Pattern Generation for High Quality Loosely Deterministic BIST
15 years 11 months ago
Download
www.date-conference.com
Marcelino B. Santos, José M. Fernandes, Isa...
claim paper
Read More »
« Prev
« First
page 104 / 1171
Last »
Next »