@inproceedings{inproceedings, title = {{Feedback-Based Specification, Coding and Testing with JWalk}}, url = {{https://eprints.whiterose.ac.uk/98339/ }}, year = {{2008}}, month = {{12}}, author = {{Simons AJH and Griffths N and Thomson C}}, journal = {{TACI PART 2008:TESTING: ACADEMIC AND INDUSTRIAL CONFERENCE PRACTICE AND RESEARCH TECHNIQUES, PROCEEDINGS}}, pages = {{69-73}}, note = {{Accessed on 2025/06/22}}}