1414 search results - page 77 / 283 » Automated Metamorphic Testing |
GECCO
2006
Springer
14 years 21 days ago
2006
Springer
Achieving a high quality and cost-effective tests is a major concern for software buyers and sellers. Using tools and integrating techniques to carry out low cost testing are chal...
PLDI
1996
ACM
14 years 1 months ago
1996
ACM
Building compilers that generate correct code is difficult. In this paper we present a compiler testing technique that closes the gap between actual compiler implementations and c...
CSE
2009
IEEE
14 years 3 months ago
2009
IEEE
—A growing number of people use social networking sites to foster social relationships among each other. While the advantages of the provided services are obvious, drawbacks on a...
CODES
2005
IEEE
14 years 2 months ago
2005
IEEE
Biochips based on digital microfluidics offer a powerful platform for massively parallel biochemical analysis such as clinical diagnosis and DNA sequencing. Current full-custom de...
ATAL
2008
Springer
13 years 11 months ago
2008
Springer
This paper approaches the issue of coordination of highly autonomous Automated Guided Vehicles (AGVs) working on an automated factory. These vehicles are used for goods delivery t...