7253 search results - page 320 / 1451 » Agile Performance Testing |
204
click to vote
ASWEC
2009
IEEE
16 years 1 months ago
2009
IEEE
Testing enterprise software that communicates with a large number of other software systems is a challenging task as it is often difficult to replicate the size and heterogeneity...
182
Voted
LATA
2009
Springer
16 years 1 months ago
2009
Springer
We introduce the class of Rigid Tree Automata (RTA), an extension of standard bottom-up automata on ranked trees with distinguished states called rigid. Rigid states define a rest...
170
click to vote
IROS
2008
IEEE
16 years 1 months ago
2008
IEEE
— Most of the existing camera calibration toolboxes require the observation of a checkerboard shown by the user at different positions and orientations. This paper presents an al...
172
click to vote
ISESE
2006
IEEE
16 years 22 days ago
2006
IEEE
This paper discusses software development using the Test Driven Development (TDD) methodology in two different environments (Windows and MSN divisions) at Microsoft. In both these...
192
click to vote
ACL2
2006
ACM
16 years 21 days ago
2006
ACM
We introduce the logical story behind file input in ACL2 and discuss the types of theorems that can be proven about filereading operations. We develop a low level library for re...