Feedback-Based Specification, Coding and Testing with JWalk


JWalk is a lazy systematic unit-testing tool for Java, which supports dynamic inference of specifications from code and systematic testing from the acquired specification. This paper describes the feedback-based development methodology that is possible using the JWalk Editor, an original Java-sensitive editor and compiler coupled to JWalk, which helps… (More)

3 Figures and Tables


  • Presentations referencing similar topics