Science aims to produce an accurate representation of the world. It
does scientific reasoning and experimentation to ensure such accuracy.
Despite the problems of scientific reasoning (e.g., induction,
abduction, analogies) and experimentation to guarantee the accuracy,
science (especially experimental sciences) is "believed" to be
progressing in verisimilitude. To accelerate the scientific progress,
empirical scientists need to expedite plausible experimentation given
limited resources. We have been studying about how automated synthesis
may help in expediting scientific experimentation, particularly in
cognitive psychology and bioinformatics. This talk will briefly
describes our past experiments and a related example in using automated
synthesis.