21183 search results - page 3846 / 4237 » Adaptive Testing by Test |
158
Voted
KBSE
2007
IEEE
16 years 18 days ago
2007
IEEE
Completing software maintenance and evolution tasks for today’s large, complex software systems can be difficult, often requiring considerable time to understand the system well...
180
click to vote
KBSE
2007
IEEE
16 years 18 days 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 ...
178
Voted
NOCS
2007
IEEE
16 years 18 days ago
2007
IEEE
Abstract— The behaviour of systems on chip (SOC) is complex because they contain multiple processors that interact through concurrent interconnects, such as networks on chip (NOC...
182
click to vote
TPHOL
2007
IEEE
16 years 18 days 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 ...
194
click to vote
WISE
2007
Springer
16 years 18 days ago
2007
Springer
We study and present our findings on two closely related problems on xpath rewriting using views when both the view and the query are tree patterns involving /,// and []. First, g...