2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST) 2020
DOI: 10.1109/icst46399.2020.00044
|View full text |Cite
|
Sign up to set email alerts
|

Scaling Test Case Generation For Expressive Decision Tables

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1

Citation Types

0
2
0

Year Published

2021
2021
2022
2022

Publication Types

Select...
2
1

Relationship

0
3

Authors

Journals

citations
Cited by 3 publications
(2 citation statements)
references
References 27 publications
0
2
0
Order By: Relevance
“…Recently, algorithms such as Ant-colony-based Generation of Test cases (AGenT) [29] have been developed for the purpose of automatic functional test generation from formal system requirements. Environment modeling was proposed in [30] for black-box testing automation of real-time embedded systems which have safety and time constraints without any knowledge of the system design, whereas data mining techniques have successfully been applied in [31] for converting system requirements to cause-effect graph specifications.…”
Section: Figure 1 Diagram That Describes the Process Of Choosing The ...mentioning
confidence: 99%
“…Recently, algorithms such as Ant-colony-based Generation of Test cases (AGenT) [29] have been developed for the purpose of automatic functional test generation from formal system requirements. Environment modeling was proposed in [30] for black-box testing automation of real-time embedded systems which have safety and time constraints without any knowledge of the system design, whereas data mining techniques have successfully been applied in [31] for converting system requirements to cause-effect graph specifications.…”
Section: Figure 1 Diagram That Describes the Process Of Choosing The ...mentioning
confidence: 99%
“…Due to the initially intended purpose of cause-effect graphs for testing hardware logical circuits in [1], truth tables of logical relations are very similar to those of logical gates. In addition to the four standard logical relations: DIR (direct), NOT (negation), AND (conjunction) and OR (disjunction), two additional relations (which are omitted in some works such as [4] and [19]) can be used: NAND (Peirce arrow) and NOR (Sheffer stroke). The direct and negation logical relations are unary, meaning they have exactly one cause and one effect node, whereas all other logical relations are n-ary, meaning they have n > 1 causes and one effect node.…”
Section: A Cause-effect Graph Specification Elementsmentioning
confidence: 99%