712 search results - page 92 / 143 » Software debugging, testing, and verification |
SIGCSE
2008
ACM
13 years 10 months ago
2008
ACM
Providing consistent, instant, and detailed feedback to students has been a big challenge in teaching Web based computing, given the complexity of project assignments and the comp...
COMPSAC
2007
IEEE
14 years 4 months ago
2007
IEEE
Bug patterns are erroneous code idioms or bad coding practices that have been proved fail time and time again. They mainly arise from the misunderstanding of language features, th...
EMSOFT
2010
Springer
13 years 8 months ago
2010
Springer
SystemC is the de facto standard for modeling embedded systems. It allows system design at various levels of abstractions, provides typical object-orientation features and incorpo...
ACMSE
2008
ACM
14 years 5 days ago
2008
ACM
Although researchers have been exchanging ideas on the design and development of autonomic systems, there has been little emphasis on validation. In an effort to stimulate interes...
SOCO
2010
Springer
13 years 4 months ago
2010
Springer
Until recently, local governments in Spain were using machines with rolling cylinders for verifying taximeters. However, the condition of the tires can lead to errors in the proces...