763 search results - page 140 / 153 » Engineering Shortest Path Algorithms |
116
Voted
ICCAD
2010
IEEE
14 years 12 months ago
2010
IEEE
State-based model checking methods comprise computing and storing reachable states, while stateless model checking methods directly reason about reachable paths using decision proc...
95
Voted
SIGSOFT
2005
ACM
16 years 2 months ago
2005
ACM
Before performing a modification task, a developer usually has to investigate the source code of a system to understand how to carry out the task. Discovering the code relevant to...
146
click to vote
AMOST
2007
ACM
15 years 5 months ago
2007
ACM
We have devised a novel technique to automatically generate test cases for a software system, combining black-box model-based testing with white-box parameterized unit testing. Th...
115
click to vote
SIGSOFT
1995
ACM
15 years 5 months ago
1995
ACM
The notion of a program slice, originally introduced by Mark Weiser, is a fundamental operation for addressing many software-engineering problems, including program understanding,...
130
Voted
AIRWEB
2005
Springer
15 years 7 months ago
2005
Springer
Web spamming, the practice of introducing artificial text and links into web pages to affect the results of searches, has been recognized as a major problem for search engines. ...