Skip to content

Commit 7c236fe

Browse files
committed
reuse-tree: extend documentation
[skip ci]
1 parent 0bd42df commit 7c236fe

File tree

2 files changed

+7
-2
lines changed

2 files changed

+7
-2
lines changed

filters/reuse/pom.xml

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -28,7 +28,10 @@ limitations under the License.
2828
<artifactId>learnlib-reuse</artifactId>
2929

3030
<name>LearnLib :: Filters :: Reuse</name>
31-
<description>Reuse Tree for (intelligently) caching membership queries</description>
31+
<description>Reuse Tree for (intelligently) caching membership queries as described in the paper "Reusing System
32+
States by Active Learning Algorithms" (https://doi.org/10.1007/978-3-642-28033-7_6) by Oliver Bauer, Johannes
33+
Neubauer, Bernhard Steffen, and Falk Howar.
34+
</description>
3235

3336
<dependencies>
3437
<!-- internal -->

filters/reuse/src/main/java/module-info.java

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -15,7 +15,9 @@
1515
*/
1616

1717
/**
18-
* This module provides a reuse tree for (intelligently) caching membership queries.
18+
* This module provides a reuse tree for (intelligently) caching membership queries as described in the paper <a
19+
* href="https://doi.org/10.1007/978-3-642-28033-7_6">Reusing System States by Active Learning Algorithms</a> by Oliver
20+
* Bauer, Johannes Neubauer, Bernhard Steffen, and Falk Howar.
1921
* <p>
2022
* This module is provided by the following Maven dependency:
2123
* <pre>

0 commit comments

Comments
 (0)