290 search results - page 24 / 58 » Using a Software Testing Technique to Improve Theorem Provin... |
ICSE
2005
IEEE-ACM
14 years 10 months ago
2005
IEEE-ACM
AGENDA is a tool set for testing relational database applications. An earlier prototype was targeted to applications consisting of a single query and included components for popul...
WER
2007
Springer
14 years 4 months ago
2007
Springer
Software inspections have proved to be an effective means to find faults in different software artifacts, and the application of software inspections on requirements specification...
WDAG
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. Optimistic and nonblocking concurrent algorithms are increasingly finding their way into practical use; an important example is software transactional memory implementat...
ICSM
2005
IEEE
14 years 4 months ago
2005
IEEE
Testing plays an important role in the maintenance of Component Based Software Development. Test adequacy for component testing is one of the hardest issues for component testing....
COMPSAC
2007
IEEE
14 years 5 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...