Quantum computing has the potential to greatly outperform classical computing in certain domains, but several major challenges limit its practical adoption. Two primary issues are the limited qubit capacity of current quantum chips and the difficulty of testing and verifying quantum programs. This presentation introduces two tools designed to address these challenges: AutoDisQ, which automatically distributes quantum programs to work across multiple chips while preserving correctness, and Qsym, a symbolic execution tool for quantum program verification. Through a series of case studies, we demonstrate how these tools can support the development of scalable and reliable quantum programs, while also discussing their current limitations and future potential.