615 search results - page 3 / 123 » Automated Test Case Generation from Dynamic Models |
ATAL
2008
Springer
13 years 7 months ago
2008
Springer
We introduce eCAT, a tool that supports deriving test cases semi-automatically from goal-based analysis diagrams, generates meaningful test inputs based on agent interaction ontol...
APSEC
1998
IEEE
13 years 9 months ago
1998
IEEE
This paper describes an automated approach to generating test cases for an object-oriented class. The approach is derived from state-based testing methods and refers to a state ma...
ICSE
2009
IEEE-ACM
13 years 10 months ago
2009
IEEE-ACM
SIGSOFT
2007
ACM
14 years 6 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...
ISORC
2005
IEEE
13 years 11 months ago
2005
IEEE
Web Services form a new distributed computing paradigm. Collaborative verification and validation are important when Web Services from different vendors are integrated together to...