43 citations · 73 across the 11 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.SE2022
Rigorous Assessment of Model Inference Accuracy using Language Cardinality
Donato Clun, Donghwan Shin, Antonio Filieri +1
Models such as finite state automata are widely used to abstract the behavior of software systems by capturing the sequences of events observable during their execution. Neverthele…
cs.SE2022★ 1 cited
Literature Review to Collect Conceptual Variables of Scenario Methods for Establishing a Conceptual Scenario Framework
Young-Min Baek, Esther Cho, Donghwan Shin +1
Over recent decades, scenarios and scenario-based software/system engineering have been actively employed as essential tools to handle intricate problems, validate requirements, an…