589 search results - page 35 / 118 » Automated test generation for engineering applications |
ISSTA
2006
ACM
14 years 1 months ago
2006
ACM
Testing with random inputs can give surprisingly good results if the distribution of inputs is spread out evenly over the input domain; this is the intuition behind Adaptive Rando...
ISSTA
2009
ACM
14 years 2 months ago
2009
ACM
Dynamic test generation consists of executing a program while gathering symbolic constraints on inputs from predicates encountered in branch statements, and of using a constraint ...
SIGMOD
2010
ACM
13 years 11 months ago
2010
ACM
A database application differs form regular applications in that some of its inputs may be database queries. The program will execute the queries on a database and may use any re...
ENTCS
2008
13 years 7 months ago
2008
Abstract. j-POST is an integrated toolchain for property-oriented software testing. This toolchain includes a test designer, a test generator, and a test execution engine. The test...
CSE
2009
IEEE
14 years 2 months ago
2009
IEEE
—The popularity of mobile devices and their increased computing power has given rise to surge in mobile computing technologies. Users are increasingly turning to mobile devices f...