@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 2024/12/22}}}