research
∙
11/10/2022
Finding Critical Nodes in Interdependent Networks with SAT and ILP Solvers
Infrastructure systems, such as power systems, often experience cascadin...
share
research
∙
05/26/2022
Embedded System Evolution in IoT System Development Based on MAPE-K Loop Mechanism
Embedded systems including IoT devices are designed for specialized func...
research
∙
10/13/2021
Constrained Detecting Arrays: Mathematical Structures for Fault Identification in Combinatorial Interaction Testing
Context: Detecting arrays are mathematical structures aimed at fault ide...
research
∙
01/31/2020
Locating arrays with mixed alphabet sizes
Locating arrays (LAs) can be used to detect and identify interaction fau...
research
∙
09/28/2019
Using simulated annealing for locating array construction
Context: Combinatorial interaction testing is known to be an efficient t...
research
∙
07/03/2019
Using binary decision diagrams for constraint handling in combinatorial interaction testing
Constraints among test parameters often have substantial effects on the ...
research
∙
04/16/2019
Finding minimum locating arrays using a CSP solver
Combinatorial interaction testing is an efficient software testing strat...
research
∙
12/06/2017