8398 search results - page 1203 / 1680 » Optimal Software Testing |
233
click to vote
KBSE
2003
IEEE
16 years 10 days ago
2003
IEEE
Physics-based animation programs can often be modeled in terms of hybrid automata. A hybrid automaton includes both discrete and continuous dynamical variables. The discrete varia...
159
click to vote
SIGUCCS
2003
ACM
16 years 9 days ago
2003
ACM
After years of providing no-cost printing in its computing sites, the University of Delaware (UD) decided to move to a fee-based printing scheme for its student computing sites. T...
307
click to vote
TAPIA
2009
ACM
15 years 11 months ago
2009
ACM
According to Computing Research Association, during each year between 2003 and 2007, fewer than 3% of the US’s Ph.D.s graduates in computer science and computer engineering were...
188
click to vote
ISSTA
2010
ACM
15 years 11 months ago
2010
ACM
Whitebox fuzzing is a novel form of security testing based on dynamic symbolic execution and constraint solving. Over the last couple of years, whitebox fuzzers have found many ne...
230
click to vote
APSEC
2004
IEEE
15 years 10 months ago
2004
IEEE
Computer-supported cooperative work (CSCW) supports groups with communication and coordination during the execution of their activities. It allows physically dispersed teams to en...