8398 search results - page 353 / 1680 » Optimal Software Testing |
210
click to vote
ACMSE
2006
ACM
16 years 22 days ago
2006
ACM
In this paper we consider the problem of automatically generating test suites associated with web-based enterprise systems. In particular, we discuss the construction of a tool de...
160
click to vote
SFP
2003
15 years 8 months ago
2003
G∀ST is a fully automatic test system. Given a logical property, stated as a function, it is able to generate appropriate test values, to execute tests with these values, and to ...
314
click to vote
POPL
2006
ACM
16 years 7 months ago
2006
ACM
The TCP/IP protocols and Sockets API underlie much of modern computation, but their semantics have historically been very complex and ill-defined. The real standard is the de fact...
179
click to vote
UIST
2006
ACM
16 years 21 days ago
2006
ACM
Prototyping is the pivotal activity that structures innovation, collaboration, and creativity in design. Prototypes embody design hypotheses and enable designers to test them. Fra...
184
click to vote
WSC
2004
15 years 8 months ago
2004
The Virtual Test Bed (VTB) is a prototype of a virtual engineering environment to study operations of current and future space vehicles, spaceports, and ranges. The HighLevel Arch...