From 2a59d104b89f649e57e69e6d7e2d08c65938bd55 Mon Sep 17 00:00:00 2001
From: Alex <alexkugler.ak@gmail.com>
Date: Mon, 19 Aug 2024 10:44:55 +0200
Subject: [PATCH] ReadMe update
---
README.md | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/README.md b/README.md
index 6f0cb008..26022f40 100644
--- a/README.md
+++ b/README.md
@@ -1,5 +1,5 @@
# Test Case Generation from Natural Language Requirements with Semantic Role Labeling
-This repository contains a tool to generate executable test cases from natural language requirements. It was developed by Alexander Kugler as part of his disseration at the computer science chair "Informatik 11 - Embedded Software" of the RWTH Aachen University. This repository is provided for research purposes and is not actively maintained by the author. You are free to use and modify the tool according to your needs.
+This repository contains a tool to generate executable test cases from natural language requirements. It was developed by Alexander Kugler as part of his disseration at the computer science chair "Informatik 11 - Embedded Software" of the RWTH Aachen University. This repository is provided for research purposes and is not actively maintained by the author. The current implementation is a proof of concept and several improvements can be made, as denoted by the ToDos in the code. You are free to use and modify the tool according to your needs.
## Approach
The test generation pipeline consists of 5 stages and looks as follows. Details are provided in the [publication](#publication).
@@ -33,9 +33,9 @@ Modification of the Satisfiability Modulo Theory instance according to predefine
Run the project to generate test cases, which will be stored in `tests/`.
5. **Evaluate test suite performance with MuJava**:
- - Use the scripts provided in `src/evaluation` to set up MuJava and perform a mutation-based strength analysis.
+ Use the scripts provided in `src/evaluation` to set up MuJava and perform a mutation-based strength analysis.
## Publication
-The folder `evaluation/` contains data such as test cases with which the evaluation has been performed in the dissertation. The requirements of the three evaluated systems are contained in `Main.java`. If you use this tool in your research, please cite the following publication.
+The folder `evaluation/` contains data such as test cases with which the evaluation has been performed in the dissertation. The requirements of the three evaluated systems are contained in `Main.java`. If you use this tool in your research, please cite the following publication (*note: the publication process is currently ongoing, the link will be updated once the disseration has officially been published*).
Alexander Kugler. *Test Case Generation from Natural Language Requirements for Embedded Systems with Semantic Role Labeling.* PhD Thesis, Informatik 11 - Embedded Software, RWTH Aachen University, 2024. [https://publications.rwth-aachen.de/record/tbd](https://publications.rwth-aachen.de/record/tbd).
--
GitLab