3544 search results - page 145 / 709 » Software Testing |
SE
2007
15 years 3 months ago
2007
: Automated test case and test driver generation from a precise behaviour UML model is an emerging approach for software functional validation. This innovative approach for validat...
111
click to vote
PLDI
2005
ACM
15 years 8 months ago
2005
ACM
We present a new tool, named DART, for automatically testing software that combines three main techniques: (1) automated extraction of the interface of a program with its external...
92
Voted
AGI
2008
15 years 3 months ago
2008
The OpenCog software development framework, for advancement of the development and testing of powerful and responsible integrative AGI, is
144
click to vote
SPIN
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. This paper presents a technique that uses code to automatically generate its own test cases at run-time by using a combination of symbolic and concrete (i.e., regular) ex...
150
click to vote
COMPSAC
2000
IEEE
15 years 6 months ago
2000
IEEE
Understanding program dependencies in a computer program is essential for many software engineering tasks such as program understanding, testing, debugging, reverse engineering, a...