1199 search results - page 180 / 240 » Software Verification and Software Engineering a Practitione... |
152
click to vote
AIEDAM
2008
15 years 6 months ago
2008
Rationale research in software development is a challenging area because while there is no shortage of advocates for its value, there is also no shortage of reasons for why rationa...
194
click to vote
WCRE
2010
IEEE
15 years 4 months ago
2010
IEEE
—Bug fixing accounts for a large amount of the software maintenance resources. Generally, bugs are reported, fixed, verified and closed. However, in some cases bugs have to be...
183
click to vote
SIGSOFT
2003
ACM
16 years 6 months ago
2003
ACM
Memory corruption errors lead to non-deterministic, elusive crashes. This paper describes ARCHER (ARray CHeckER) a static, effective memory access checker. ARCHER uses path-sensit...
152
click to vote
WCRE
2009
IEEE
16 years 24 days ago
2009
IEEE
—For a long time, dynamic tracing has been an enabling technique for reverse engineering tools. Tracing can not only be used to record the control flow of a particular component...
163
click to vote
IUI
2010
ACM
15 years 11 months ago
2010
ACM
While web search tasks are often inherently collaborative in nature, many search engines do not explicitly support collaboration during search. In this paper, we describe HeyStaks...