3547 search results - page 239 / 710 » Pseudo-Exhaustive Testing for Software |
173
click to vote
IOLTS
2003
IEEE
16 years 16 days ago
2003
IEEE
The paper describes a specific method for designing selfchecking checkers for m-out-of-n codes. The method is oriented to the Field Programmable Gate Arrays technology and is base...
170
click to vote
CAISE
2005
Springer
16 years 24 days ago
2005
Springer
Abstract. This paper uses a framework drawn from work in the philosophy of science to characterize the concepts of program correctness that have been used in software engineering, ...
208
click to vote
ICSM
2006
IEEE
16 years 1 months ago
2006
IEEE
Software Engineers frequently need to locate and understand the code that implements a specific user feature of a large system. This paper reports on a study by Motorola Inc. and ...
200
click to vote
TOOLS
1999
IEEE
15 years 11 months ago
1999
IEEE
Component-based software engineering (CBSE) spans a range of technologies and engineering practices. Engineering practices for component-based systems (e.g., design, integrate, te...
232
click to vote
PPOPP
2011
ACM
14 years 10 months ago
2011
ACM
We propose a cooperative methodology for multithreaded software, where threads use traditional synchronization idioms such as locks, but additionally document each point of potent...