4107 search results - page 137 / 822 » The Generalized Lambda Test |
174
click to vote
DLOG
2009
15 years 4 months ago
2009
Abstract. GridTest is a framework for testing automated theorem provers using randomly generated formulas. It can be used to run tests locally, in a single computer, or in a comput...
179
click to vote
CBSE
2011
Springer
14 years 6 months ago
2011
Springer
Software components are increasingly assembled from other components. Each component may further depend on others, and each may have multiple active versions. The total number of ...
184
click to vote
SIGSOFT
2003
ACM
16 years 7 months ago
2003
ACM
This paper presents a novel approach for automated test data generation of imperative programs containing integer, boolean and/or float variables. It extends our previous work to ...
178
click to vote
KBSE
2007
IEEE
16 years 21 days ago
2007
IEEE
There are many difficulties associated with developing correct multithreaded software, and many of the activities that are simple for single threaded software are exceptionally ha...
158
click to vote
ISSTA
2006
ACM
16 years 11 days ago
2006
ACM
We report on the fourth in a series of studies on the reliability of application programs in the face of random input. Over the previous 15 years, we have studied the reliability ...