1414 search results - page 77 / 283 » Automated Metamorphic Testing |
116
click to vote
GECCO
2006
Springer
15 years 6 months 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...
158
Voted
PLDI
1996
ACM
15 years 6 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...
116
click to vote
CSE
2009
IEEE
15 years 9 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...
120
Voted
CODES
2005
IEEE
15 years 8 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...
123
click to vote
ATAL
2008
Springer
15 years 4 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...