4079 search results - page 458 / 816 » Differential Testing for Software |
132
click to vote
AGILEDC
2008
IEEE
16 years 18 days ago
2008
IEEE
A Coding Dojo is a meeting where a group of programmers gets together to learn, practice, and share experiences. This report describes the authors’ experience of creating and ru...
149
click to vote
SEFM
2007
IEEE
16 years 12 days ago
2007
IEEE
We describe a simple and efficient algorithm for proving the termination of a class of loops with nonlinear assignments to variables. The method is based on divergence testing fo...
153
Voted
COMPSAC
2006
IEEE
16 years 6 days ago
2006
IEEE
QoS has been one of the major challenges in Web Services area. Though negotiated in the contract, service quality usually can not be guaranteed by providers. Therefore, the servic...
145
click to vote
ISM
2006
IEEE
16 years 4 days ago
2006
IEEE
A mobile Digital Rights Management platform is proposed that follows the DRM reference architecture while including several important functions lacking in the OMA DRM. The platfor...
145
click to vote
CODES
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper presents an Integer Linear Programming (ILP) approach to the instruction-set extension identification problem. An algorithm that iteratively generates and solves a set...