2825 search results - page 507 / 565 » Support for Object-Oriented Testing |
143
Voted
ICTAI
2007
IEEE
15 years 8 months ago
2007
IEEE
We review a method of generating logical rules, or axioms, from empirical data. This method, using closed set properties of formal concept analysis, has been previously described ...
124
Voted
KBSE
2007
IEEE
15 years 8 months ago
2007
IEEE
Monitoring the satisfaction of software requirements and diagnosing what went wrong in case of failure is a hard problem that has received little attention in the Software and Req...
129
Voted
KBSE
2007
IEEE
15 years 8 months ago
2007
IEEE
Software developers spend a significant portion of their resources handling user-submitted bug reports. For software that is widely deployed, the number of bug reports typically ...
131
click to vote
TPHOL
2007
IEEE
15 years 8 months ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...
111
click to vote
P2P
2007
IEEE
15 years 8 months ago
2007
IEEE
Network coding is an emerging field of research with sound and mature theory supporting it. Recent works shows that it has many benefits like improved fault tolerance, higher ...