950 search results - page 163 / 190 » Free and Open Source Software |
CAV
2011
Springer
14 years 1 months ago
2011
Springer
Abstract. Many automatic testing, analysis, and verification techniques for programs can effectively be reduced to a constraint-generation phase followed by a constraint-solving ...
ISSTA
2010
ACM
14 years 11 months ago
2010
ACM
Testing object-oriented (OO) software is critical because OO languages are commonly used in developing modern software systems. In testing OO software, one important and yet chall...
106
click to vote
KBSE
2010
IEEE
14 years 8 months ago
2010
IEEE
Software testing has been commonly used in assuring the quality of database applications. It is often prohibitively expensive to manually write quality tests for complex database ...
SIGSOFT
2010
ACM
14 years 7 months ago
2010
ACM
Software internationalization aims to make software accessible and usable by users all over the world. For a Java application that does not consider internationalization at the be...
111
click to vote
BMCBI
2010
14 years 9 months ago
2010
Background: Advances in sequencing and genotyping technologies are leading to the widespread availability of multi-species variation data, dense genotype data and large-scale rese...