432 search results - page 55 / 87 » Automated testing of refactoring engines |
ICST
2009
IEEE
15 years 5 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...
NOMS
2008
IEEE
15 years 5 months ago
2008
IEEE
As the complexity of networked systems increases, we need mechanisms to automatically detect failures in the network and diagnose the cause of such failures. To realize true self-...
ICSE
2007
IEEE-ACM
15 years 11 months ago
2007
IEEE-ACM
This paper presents a new automated model-driven technique to generate test cases by using feedback from the execution of a "seed test suite" on an application under tes...
119
click to vote
ADAEUROPE
2007
Springer
15 years 5 months ago
2007
Springer
The testing of programs in wireless sensor networks (WSN) is an important means to assure quality but is a challenging process. As pervasive computing has been identified as a not...
ICSM
2006
IEEE
15 years 5 months ago
2006
IEEE
Although the world-wide-web (WWW) has significantly enhanced open-source software (OSS) development, it has also created new challenges for quality assurance (QA), especially for...