4079 search results - page 416 / 816 » Differential Testing for Software |
145
click to vote
STTT
2002
15 years 5 months ago
2002
This paper introduces a special section of the STTT journal containing a selection of papers that were presented at the 7th International SPIN workshop, Stanford, August 30 - Septe...
174
click to vote
HICSS
2012
IEEE
14 years 1 months ago
2012
IEEE
Security vulnerabilities continue to be an issue in the software field and new severe vulnerabilities are discovered in software products each month. This paper analyzes estimates...
176
click to vote
ECLIPSE
2005
ACM
15 years 8 months ago
2005
ACM
Students need to learn testing skills, and using test-driven development on assignments is one way to help students learn. We use a flexible automated grading system called Web-CA...
146
click to vote
ISSRE
2007
IEEE
15 years 7 months ago
2007
IEEE
Using a specific machine learning technique, this paper proposes a way to identify suspicious statements during debugging. The technique is based on principles similar to Tarantul...
125
click to vote
ASAP
2009
IEEE
16 years 3 months ago
2009
IEEE
McEliece scheme represents a code-based public-key cryptosystem. So far, this cryptosystem was not employed because of efficiency questions regarding performance and communicatio...