Black-box context-free grammar inference is a hard problem as in many
pr...
Background: Empirical studies on widely used model-based development too...
Locating a specific mobile application screen from existing repositories...
Keyword-based mobile screen search does not account for screen content a...
Searching through existing repositories for a specific mobile app screen...
MATLAB/Simulink is widely used for model-based design. Engineers create
...
Finding bugs in a commercial cyber-physical system (CPS) development too...