2026 search results - page 30 / 406 » Tools for Test Case Generation |
124
click to vote
SPIN
2005
Springer
15 years 6 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...
FATES
2004
Springer
15 years 5 months ago
2004
Springer
We present a technique for specifying coverage criteria and a method for generating test suites for systems whose behaviours can be described as extended finite state machines (EF...
109
click to vote
CORR
2010
Springer
15 years 16 days ago
2010
Springer
Testing is a vital part of the software development process. Test Case Generation (TCG) is the process of automatically generating a collection of test-cases which are applied to ...
SE
2008
15 years 1 months ago
2008
We propose a new method for system validation by means of testing, which is based on environment models expressed as UML state machines. A sun blind control case study serves to il...
119
Voted
SIGSOFT
2007
ACM
16 years 1 months ago
2007
ACM
With the growing complexity of web applications, identifying web interfaces that can be used for testing such applications has become increasingly challenging. Many techniques tha...