290 search results - page 21 / 58 » Using a Software Testing Technique to Improve Theorem Provin... |
ISSTA
1993
ACM
14 years 2 months ago
1993
ACM
Mutation analysis is a powerful technique for assessing and improving the quality of test data used to unit test software. Unfortunately, current automated mutation analysis syste...
GECCO
2004
Springer
14 years 3 months ago
2004
Springer
Software systems are used regularly in safety-relevant applications. Therefore, the occurrence of critical defects may not only cause costly recalls but may also endanger human liv...
COMPSAC
2009
IEEE
14 years 5 months ago
2009
IEEE
Despite all the advances on techniques to block spam e-mail messages we still receive them on a frequent basis. This is due mainly to the ability of the spammers to modify the mes...
ESEM
2008
ACM
14 years 5 days ago
2008
ACM
Software effort estimation techniques abound, each with its own set of advantages and disadvantages, and no one proves to be the single best answer. Combining estimating is an app...
IUI
2006
ACM
14 years 4 months ago
2006
ACM
In this paper we describe research on using eye-tracking data for on-line assessment of user meta-cognitive behavior during the interaction with an intelligent learning environmen...