s-Process Nucleosynthesis in Asymptotic Giant Branch Stars: A Test for Stellar Evolution