Two papers accepted at ISSTA’26 for solving software specification challenges!