Composition and Testing of Connection Fault Handling Behaviors in Programs with AND/OR Graph - 李家政(CHIA-CHENG LEE); 鄭有進(YU CHIN CHENG); 謝金雲(CHIN-YUN HSIEH) (Journal of Information Science and Engineering, 2020)
Keywords: Communication; Computer networks; Cyber-physical systems; Failure; Faults; Graphical representations; Handling; Internet of Things; Model testing; Specifications; model-based testing; aspect-oriented programming; AND/OR graph; connection fault; exception handling