2419 search results - page 212 / 484 » A Formal Approach to Software Testing |
175
Voted
CHI
2007
ACM
16 years 4 months ago
2007
ACM
In this paper, we introduce an implementation for detailed monitoring of user actions on web pages. It addresses the problem that the log data recorded by standard web servers is ...
174
click to vote
SBCCI
2005
ACM
15 years 9 months ago
2005
ACM
Higher integration densities, smaller feature lengths, and other technology advances, as well as architectural evolution, have made microprocessor cores exceptionally complex. Cur...
123
click to vote
JUCS
2010
15 years 2 months ago
2010
: Lisp programmers constantly carry out experiments in a read-eval-print loop. The experimental activities convince the Lisp programmers that new or modified pieces of programs wo...
130
click to vote
GECCO
2003
Springer
15 years 9 months ago
2003
Springer
Evolutionary Testing (ET) has been shown to be very successful in testing real world applications [16]. However, it has been pointed out [11], that further research is necessary if...
123
click to vote
TAP
2010
Springer
15 years 9 months ago
2010
Springer
Unit tests of object-oriented code exercise particular sequences of method calls. A key problem when automatically generating unit tests that achieve high structural code coverage ...