Sciweavers

203 search results - page 22 / 41
» A Test Data Generation Tool for Unit Testing of C Programs
Sort
View
ACE
2004
178views Education» more  ACE 2004»
13 years 10 months ago
Managing Large Class Assessment
ExamGen is a software application developed at Queensland University of Technology to assist instructors with assessment in large classes (250+). The ExamGen program was developed...
Anthony Rhodes, Karyn Bower, Peter Bancroft
DAC
2006
ACM
14 years 9 months ago
Scheduling-based test-case generation for verification of multimedia SoCs
Multimedia SoCs are characterized by a main controller that directs the activity of several cores, each of which is in charge of a stage in the processing of a media stream. The v...
Amir Nahir, Avi Ziv, Roy Emek, Tal Keidar, Nir Ron...
CEC
2010
IEEE
13 years 10 months ago
Evolving a CUDA kernel from an nVidia template
Rather than attempting to evolve a complete program from scratch we demonstrate genetic interface programming (GIP) by automatically generating a parallel CUDA kernel with identica...
William B. Langdon, Mark Harman
ISSTA
2009
ACM
14 years 3 months ago
HAMPI: a solver for string constraints
Many automatic testing, analysis, and verification techniques for programs can be effectively reduced to a constraint-generation phase followed by a constraint-solving phase. Th...
Adam Kiezun, Vijay Ganesh, Philip J. Guo, Pieter H...
ICSE
2008
IEEE-ACM
14 years 9 months ago
Testing pervasive software in the presence of context inconsistency resolution services
Pervasive computing software adapts its behavior according to the changing contexts. Nevertheless, contexts are often noisy. Context inconsistency resolution provides a cleaner pe...
Heng Lu, W. K. Chan, T. H. Tse