3281 search results - page 36 / 657 » An Approach to use Executable Models for Testing |
140
click to vote
INFSOF
2000
15 years 9 days ago
2000
The fundamental statistical strategy of improving sampling efficiency through partitioning the population is applied to software testing. Usage models make it possible to apply th...
100
click to vote
TAP
2008
Springer
15 years 13 days ago
2008
Springer
Pex automatically produces a small test suite with high code coverage for a .NET program. To this end, Pex performs a systematic program analysis (using dynamic symbolic execution,...
98
Voted
ICDE
2010
IEEE
15 years 21 days ago
2010
IEEE
— Database Management Systems (DBMSs) are often required to simultaneously process multiple diverse workloads while enforcing business policies that govern workload performance. ...
112
Voted
ICST
2008
IEEE
15 years 7 months ago
2008
IEEE
Ajax supports the development of rich-client Web applications, by providing primitives for the execution of asynchronous requests and for the dynamic update of the page structure ...
102
click to vote
SNPD
2008
15 years 1 months ago
2008
Testing cannot cover all execution schedules in concurrent software. Model checking, however, is capable of verifying the outcome of all possible executions. It has been applied s...