@inproceedings{657500cf94764965a1bb1eedd09e86b9,
title = "Combining combinatorial testing and metamorphic testing for testing a logic-based non-monotonic reasoning system",
abstract = "Combinatorial testing has proven to be a very valuable testing technique for automated generation of test suites given the domain of the inputs and the configuration parameters. In order to fully automate combinatorial testing, however, there is a need for an automated test oracle. In case of testing logic-based non-monotonic reasoning systems, we show how to generate test cases and how to make use of metamorphic testing in order to provide a test oracle. The combined testing method allows for complete test automation. We further discuss first experimental results obtained for an implementation of an assumption-based truth maintenance system implementing basic non-monotonic reasoning capabilities.",
keywords = "Combinatorial Testing, Metamorphic Testing, Testing Reasoning Systems",
author = "Franz Wotawa",
year = "2018",
month = jul,
day = "16",
doi = "10.1109/ICSTW.2018.00071",
language = "English",
series = "Proceedings - 2018 IEEE 11th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2018",
publisher = "Institute of Electrical and Electronics Engineers",
pages = "348--351",
booktitle = "Proceedings - 2018 IEEE 11th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2018",
address = "United States",
note = "11th IEEE International Conference on Software Testing, Verification and Validation Workshops : ICSTW 2018 ; Conference date: 09-04-2018 Through 13-04-2018",
}