3 citations · 8 across the 11 of their papers we have counts for
11 papers
Using Semantic Similarity for Input Topic Identification in Crawling-based Web Application Testing
Jun-Wei Lin, Farn Wang
To automatically test web applications, crawling-based techniques are usually adopted to mine the behavior models, explore the state spaces or detect the violated invariants of the…
PAC Learning-Based Verification and Model Synthesis
Yu-Fang Chen, Chiao Hsieh, Ondřej Lengál +4
We introduce a novel technique for verification and model synthesis of sequential programs. Our technique is based on learning a regular model of the set of feasible paths in a pro…
Coverage Games for Testing Nondeterministic Systems
Farn Wang, Jung-Hsuan Wu, Sven Schewe +1
Modern software systems may exhibit a nondeterministic behavior due to many unpredictable factors. In this work, we propose the node coverage game, a two player turn-based game pla…
Rapid Recovery for Systems with Scarce Faults
Chung-Hao Huang, Doron Peled, Sven Schewe +1
Our goal is to achieve a high degree of fault tolerance through the control of a safety critical systems. This reduces to solving a game between a malicious environment that inject…
Simulation-Checking of Real-Time Systems with Fairness Assumptions
Farn Wang
We investigate the simulation problem in of dense-time system. A specification simulates a model if the specification can match every transition that the model can make at a time p…
Symbolic Simulation-Checking of Dense-Time Systems
Farn Wang
Intuitively, an (implementation) automata is simulated by a (specification) automata if every externally observable transition by the implementation automata can also be made by th…