Bridging Artificial Intelligence and Software Engineering, ML-based program analysis strengthens testing and security for traditional software and smart contracts, while software-engineering principles enforce disciplined model- and data-level testing and explanation practices for AI pipelines—delivering dependable systems in both directions.