2774 search results - page 166 / 555 » Query-Driven Program Testing |
105
click to vote
SIGCSE
2010
ACM
15 years 9 months ago
2010
ACM
Concurrent programming is becoming more important due to the growing dominance of multi-core processors and the prevalence of graphical user interfaces (GUIs). To prepare students...
131
click to vote
ITICSE
2000
ACM
15 years 6 months ago
2000
ACM
The Praktomat system allows students to read, review, and assess each other’s programs in order to improve quality and style. After a successful submission, the student can retr...
124
click to vote
OOPSLA
2010
Springer
15 years 10 days ago
2010
Springer
Glass box software model checking incorporates novel techniques to identify similarities in the state space of a model checker and safely prune large numbers of redundant states w...
107
click to vote
ISSTA
2006
ACM
15 years 8 months ago
2006
ACM
DSD-Crasher is a bug finding tool that follows a three-step approach to program analysis: D. Capture the program’s intended execution behavior with dynamic invariant detection....
120
click to vote
ISER
2004
Springer
15 years 7 months ago
2004
Springer
The DARPA PerceptOR program implements a rigorous evaluative test program which fosters the development of field relevant outdoor mobile robots. Autonomous ground vehicles are depl...