Live briefing
Everything about JWalk
JWalk is a unit testing toolkit for the Java programming language. Created by Anthony Simons, JWalk supports a testing paradigm called Lazy Systematic Unit Testing. This is based on the two notions of lazy specification, the ability to infer the evolving specification of a class on the fly by dynamic analysis, and systematic testing, the ability to explore and test the class's state space exhaustively to bounded depths. Wikipedia →
🧠Start here: a 6-step reading path
- Read the overview: JWalkA 5-minute orientation
- Read the landmark paper: Jwalk and MNXL web server: model validation using restraints from crosslinking mass spectrometryCited 38 times
- Go sideways: Lazy systematic unit testingA closely related topic
- Go sideways: Unit testingA closely related topic
đź“– Definitions
No dictionary entry for this exact phrase.
🗂️ The subject at a glance
🏆 Landmark papers (most cited)
đź“š Books worth reading
Open Library didn't respond; try again in a moment.
đź”— Related topics
- Lazy systematic unit testing Lazy Systematic Unit Testing is a software unit testing method based on the two notions of lazy specification, the ability to infer the evolving specification…
- Unit testing Unit testing, also known as component or module testing, is a form of software testing by which isolated source code is tested to validate expected behavior…
- XUnit xUnit is a label used for an automated testing software framework that shares significant structure and functionality that is traceable to a common progenitor…
- Random testing Random testing is a black-box software testing technique where programs are tested by generating random, independent inputs. Results of the output are…
- Java Modeling Language The Java Modeling Language (JML) is a specification language for Java programs, using Hoare style pre- and postconditions and invariants, that follows…
- Agile testing Agile testing is a software testing practice that follows the principles of agile software development. Agile testing involves all members of a cross-functional…
- Test automation Test automation is the use of software (separate from the software being tested) for controlling the execution of tests and comparing actual outcome with…
- Spock (testing framework) Spock is a Java testing framework capable of handling the complete life cycle of a computer program. The tool was initially created in 2008 by Peter Niederwiese…