353 search results - page 6 / 71 » TRICS: A Testing Tool for C |
MSE
2003
IEEE
14 years 24 days ago
2003
IEEE
A tool has been created for use in a design course to automate integration of new components into a SystemOn-Chip (SoC). Students used this tool to implement a complete SoC Intern...
QSIC
2008
IEEE
14 years 1 months ago
2008
IEEE
In the context of open source development or software evolution, developers are often faced with test suites which have been developed with no apparent rationale and which may nee...
BMCBI
2006
13 years 7 months ago
2006
Background: The German cDNA Consortium has been cloning full length cDNAs and continued with their exploitation in protein localization experiments and cellular assays. However, t...
DAC
2011
ACM
12 years 7 months ago
2011
ACM
SystemC is a popular modeling language which can be used to specify systems at bstraction level. Currently, SystemC tools can not cope with SystemC models for which the module hie...
SIGSOFT
2003
ACM
14 years 8 months ago
2003
ACM
This paper proposes a pointer alias analysis for automatic error detection. State-of-the-art pointer alias analyses are either too slow or too imprecise for finding errors in real...