3 citations · 8 across the 6 of their papers we have counts for
7 papers
Finding Critical Nodes in Interdependent Networks with SAT and ILP Solvers
Kyozo Hida, Tatsuhiro Tsuchiya
Infrastructure systems, such as power systems, often experience cascading failures. Modeling an infrastructure system as a collection of interdependent networks has recently receiv…
Embedded System Evolution in IoT System Development Based on MAPE-K Loop Mechanism
Hiroyuki Nakagawa, Shinya Tsuchida, Emiliano Tramontana +2
Embedded systems including IoT devices are designed for specialized functions; thus, changes in functions are not considered following their release. For this reason, changing func…
Constrained Detecting Arrays: Mathematical Structures for Fault Identification in Combinatorial Interaction Testing
Hao Jin, Ce Shi, Tatsuhiro Tsuchiya
Context: Detecting arrays are mathematical structures aimed at fault identification in combinatorial interaction testing. However, they cannot be directly applied to systems that h…
Locating arrays with mixed alphabet sizes
Ce Shi, Hao Jin, Tatsuhiro Tsuchiya
Locating arrays (LAs) can be used to detect and identify interaction faults among factors in a component-based system. The optimality and constructions of LAs with a single fault h…
Using simulated annealing for locating array construction
Tatsuya Konishi, Hideharu Kojima, Hiroyuki Nakagawa +1
Context: Combinatorial interaction testing is known to be an efficient testing strategy for computing and information systems. Locating arrays are mathematical objects that are use…
Using binary decision diagrams for constraint handling in combinatorial interaction testing
Tatsuhiro Tsuchiya
Constraints among test parameters often have substantial effects on the performance of test case generation for combinatorial interaction testing. This paper investigates the effec…