See this file: https://github.com/jboss-developer/jboss-wfk-quickstarts/blob/2.5.x-develop/spring-petclinic/functional-tests/src/test/java/org/jboss/as/quickstarts/spring/petclinic/test/webdriver/Deployments.java
The variable `PETCLINIC' should have following value: "../target/jboss-spring-petclinic.war". The quickstart was renamed.