How it works


Model test inputs for the target web application

ALEX makes it easy to visually model test inputs for your web application. It uses Selenium for frontend tests and allows modeling test inputs for REST APIs.


Generate a model of your web application automatically

Based on the test inputs, a learning algorithm executes these inputs on your application and observes its behavior. The result is a behavioral model of your application.


Refine the model through counterexamples

Find more application states by searching for differences between the model and the application. ALEX offers automated and manual strategies for that.


Packaged version

  1. Download the latest package. Download
  2. Open a terminal an navigate to the folder of alex-1.6.1.war
  3. java -jar alex-1.6.1.war [--alex.port=XXXX]
  4. Open http://localhost:8000 in a web browser

From source

  1. Open a terminal and navigate where ALEX should be installed
  2. git clone
  3. cd ./alex
  4. mvn install package [-DskipTests]
  5. java -jar ./build/target/alex-build-1.6.1.war [--alex.port=XXXX]
  6. Open http://localhost:8000 in a web browser


Since ALEX is written in Java, the operating system should not matter as long as you have the Java JRE 8 installed. It is also required that you have a modern web browser installed on your pc, like:

  • Google Chrome (≥ v58)
  • Mozilla Firefox (≥ v52)
  • Microsoft Edge

If you are a developer, head over to the developer documents to see a list of the requirements.