2154 search results - page 333 / 431 » Evidence-based software production |
ICSE
2009
IEEE-ACM
15 years 11 months ago
2009
IEEE-ACM
Null dereference is a commonly occurring defect in Java programs, and many static-analysis tools identify such defects. However, most of the existing tools perform a limited inter...
ICSE
2009
IEEE-ACM
15 years 11 months ago
2009
IEEE-ACM
Since manual black-box testing of GUI-based APplications (GAPs) is tedious and laborious, test engineers create test scripts to automate the testing process. These test scripts in...
SIGSOFT
2005
ACM
15 years 11 months ago
2005
ACM
Online testing is a technique in which test derivation from a model program and test execution are combined into a single algorithm. We describe a practical online testing algorit...
VLSID
2004
IEEE
15 years 11 months ago
2004
IEEE
We present a new design of an Embedded Speech Recognition System. It combines the aspects of both hardware and software design to implement a speaker dependent, isolated word, sma...
VMCAI
2010
Springer
15 years 8 months ago
2010
Springer
We present a unified game-based approach for branching-time model checking of hierarchical systems. Such systems are exponentially more succinct than standard state-transition gra...