498 search results - page 5 / 100 » Automated Software Test Data Generation for Complex Programs |
ICSE
2009
IEEE-ACM
13 years 11 months ago
2009
IEEE-ACM
ECOOP
2000
Springer
13 years 11 months ago
2000
Springer
We have recently shown how use cases can be systematically transformed into UML state charts considering all relevant information from a use case specification, including pre- and ...
ICSE
2007
IEEE-ACM
14 years 7 months ago
2007
IEEE-ACM
The incorporation of context-awareness capabilities into pervasive applications allows them to leverage contextual information to provide additional services while maintaining an ...
ICST
2009
IEEE
14 years 1 months ago
2009
IEEE
Constraint solving lies at the heart of several specification-based approaches to automated testing. Korat is a previously developed algorithm for solving constraints in Java pro...
SIGADA
2001
Springer
13 years 11 months ago
2001
Springer
Automatic software testing is gradually becoming accepted practice in the software industry. The shrinking development cycle and higher expectation of software quality are forcing...