None of the examples you've cited are software bugs, all physical failures or pilot error.
If you're looking for something that could be software related try Air France Flight 447, though even that is ultimately pilot error. You could also use Ariane 5 flight 1, where a software problem caused vehicle failure.
If you're looking for something that could be software related try Air France Flight 447, though even that is ultimately pilot error. You could also use Ariane 5 flight 1, where a software problem caused vehicle failure.