1518 search results - page 69 / 304 » Cryptographic Test Correction |
110
Voted
COMPSAC
2006
IEEE
15 years 6 months ago
2006
IEEE
This paper presents behavior contracts as a new assertion mechanism and a tool that uses such contracts to support the testing of Object-Oriented (OO) systems. A behavior contract...
ISSTA
2010
ACM
15 years 4 months ago
2010
ACM
The output of a disassembler is used for many different purposes (e.g., debugging and reverse engineering). Therefore, disassemblers represent the first link of a long chain of s...
101
Voted
IICAI
2007
15 years 2 months ago
2007
The paper presents first results of a project that aims at building a model-based tool for functional testing of control software for passenger vehicles. The objective is that this...
82
Voted
ICSM
2009
IEEE
15 years 7 months ago
2009
IEEE
Many software systems rely on third-party components during their build process. Because the components are constantly evolving, quality assurance demands that developers perform ...
113
click to vote
KBSE
2008
IEEE
15 years 7 months ago
2008
IEEE
Flash memory has become virtually indispensable in most mobile devices. In order for mobile devices to successfully provide services to users, it is essential that flash memory b...