Sciweavers

7628 search results - page 52 / 1526
» Automatic Generation of the C
Sort
View
DATE
2005
IEEE
122views Hardware» more  DATE 2005»
15 years 10 months ago
Systematic Transaction Level Modeling of Embedded Systems with SystemC
This paper gives an overview of a transaction level modeling (TLM) design flow for straightforward embedded system design with SystemC. The goal is to systematically develop both...
Wolfgang Klingauf

Source Code
940views
17 years 5 months ago
Surface Rendering Using Vtk4.2 Qt3.x C++
This is an infrastructure code that integrates C++/Vt/Qt/Newmat into a cross-platform program that can run on any plateform Unix/Linux/Windows. For demo purposes, it loads any segm...
M. Sabry Hassouna
DSN
2002
IEEE
15 years 9 months ago
An Automated Approach to Increasing the Robustness of C Libraries
As our reliance on computers increases, so does the need for robust software. Previous studies have shown that many C libraries exhibit robustness problems due to exceptional inpu...
Christof Fetzer, Zhen Xiao
SIGSOFT
2005
ACM
16 years 5 months ago
CUTE: a concolic unit testing engine for C
In unit testing, a program is decomposed into units which are collections of functions. A part of unit can be tested by generating inputs for a single entry function. The entry fu...
Koushik Sen, Darko Marinov, Gul Agha
JSS
2010
107views more  JSS 2010»
15 years 2 months ago
An empirical investigation into branch coverage for C programs using CUTE and AUSTIN
Automated test data generation has remained a topic of considerable interest for several decades because it lies at the heart of attempts to automate the process of Software Testi...
Kiran Lakhotia, Phil McMinn, Mark Harman