353 search results - page 7 / 71 » TRICS: A Testing Tool for C |
CAV
2006
Springer
13 years 11 months ago
2006
Springer
CUTE, a Concolic Unit Testing Engine for C and Java, is a tool to systematically and automatically test sequential C programs (including pointers) and concurrent Java programs. CUT...
SBCCI
2003
ACM
14 years 23 days ago
2003
ACM
Network on Chip (NoC) is a new paradigm for designing core based System on Chips. It supports high degree of reusability and is scalable. In this paper, an efficient Two-Step Gene...
APSEC
1996
IEEE
13 years 11 months ago
1996
IEEE
Testing of concurrent programs is much more difficult than that of sequential programs. A concurrent program behaves nondeterministically, that is, the program may produce differe...
GLVLSI
2003
IEEE
14 years 25 days ago
2003
IEEE
A critical part of the design of HW/SW systems concerns the definition of the HW/SW interface. Such interfaces do not directly map a functionality of the system description, but ...
AMOST
2005
ACM
14 years 1 months ago
2005
ACM
Interaction testing is widely used in screening for faults. In software testing, it provides a natural mechanism for testing systems to be deployed on a variety of hardware and so...