4079 search results - page 284 / 816 » Differential Testing for Software |
131
click to vote
CORR
2004
Springer
15 years 4 months ago
2004
Springer
This paper presents Jartege, a tool which allows random generation of unit tests for Java classes specified in JML. JML (Java Modeling Language) is a specification language for Ja...
124
click to vote
QSIC
2009
IEEE
15 years 11 months ago
2009
IEEE
—A well-founded testing theory encourages the practical application of test case generation techniques. This aims at overcoming the ever increasing complexity of softwareenabled ...
127
click to vote
FCCM
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper provides an evaluation of SGI® RASC™ RC100 technology from a computational science software developer’s perspective. A brute force implementation of a two-point an...
159
click to vote
COMSWARE
2006
IEEE
15 years 10 months ago
2006
IEEE
Many of the bugs in distributed software modules are security vulnerabilities, the most common and also the most exploited of which are buffer overflows and they typically arise in...
130
click to vote
QSIC
2006
IEEE
15 years 10 months ago
2006
IEEE
Software estimation models should support managerial decision making in software projects. We experience that most of current models do not achieve this goal to the extend manager...