Yes! String beans, green beans, wax beans, pole beans are all referring to the same veggie. There are different varieties such as Romano and haricots vert but they are interchangeable in this recipe. See this article for a deep-dive into all the different types of green beans.