2026 search results - page 120 / 406 » Tools for Test Case Generation |
114
click to vote
APCCM
2008
15 years 5 months ago
2008
We identify established tableaux techniques as an invaluable tool for semantic knowledge acquisition in the design process of relational databases. Sample databases allow users an...
106
click to vote
DDECS
2007
IEEE
15 years 10 months ago
2007
IEEE
— Recently, there is a renewed interest in Automatic Test Pattern Generation (ATPG) based on Boolean Satisfiability (SAT). This results from the availability of very powerful SA...
120
click to vote
DDECS
2008
IEEE
15 years 10 months ago
2008
IEEE
— Due to ever increasing design sizes more efficient tools for Automatic Test Pattern Generation (ATPG) are needed. Recently ATPG based on Boolean satisfiability (SAT) has been ...
134
Voted
DATE
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper proposes a novel HW/SW co-simulation approach that minimizes the impact on software designers. We propose a SystemC-based system that enables the software team to test ...
117
Voted
SEAA
2008
IEEE
15 years 10 months ago
2008
IEEE
There is a growing interest for techniques and tools facilitating the testing of mobile systems. The movement of nodes is one of the relevant factors of context change in ubiquito...