4029 search results - page 286 / 806 » Experience with Software Watermarking |
166
click to vote
QSIC
2006
IEEE
16 years 17 days ago
2006
IEEE
This paper describes a prototype tool, called SimC, which automatically generates test data for unit testing of C programs. The tool symbolically simulates the execution of the gi...
157
click to vote
AGILEDC
2005
IEEE
16 years 5 days ago
2005
IEEE
In an effort to improve our understanding of the way we work, my team grouped together ideas from various sources to come up with an estimation scheme that avoided the confusing n...
160
click to vote
COORDINATION
2004
Springer
15 years 12 months ago
2004
Springer
As a case study that illustrates our view on coordination and component-based software engineering, we present the design and implementation of a parallel constraint solver. The pa...
173
click to vote
ICESS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Traditional wisdom in programming language design suggests that there is a trade-off between expressive power and static guarantees. We describe a novel schema for desig...
138
click to vote
XPU
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. The paper outlines an experiment conducted in two different academic environments, in which FIT tests were used as a functional requirements specification. Common challen...