Author

Tony Fan

5 papers · 2007–2026

2007peak 3 in 20222026

Frequent co-authors

Papers

showing 1–5 of 5 RSS

Search-based Software Testing Driven by Automatically Generated and Manually Defined Fitness Functions

Federico Formica, Tony Fan, Claudio Menghi

cs.SE · July 2022 · cited 29× · arXiv ↗ · more like this ·

Search-based software testing (SBST) typically relies on fitness functions to guide the search exploration toward software failures. There are two main techniques to define fitness functions: (a) automated fitness function computation from the specification of the system requirements, and (b) manual fitness function design. Both techniques have advantages. The former uses information from the system requirements to guide the search toward portions of the input domain more likely to contain failures. The latter uses the engineers' domain knowledge. We propose ATheNA, a novel SBST framework that combines fitness functions automatically generated from requirements specifications and those manually defined by engineers. We design and implement ATheNA-S, an instance of ATheNA that targets Simulink models. We evaluate ATheNA-S by considering a large set of models from different domains. Our…

Simulation-based Testing of Simulink Models with Test Sequence and Test Assessment Blocks

Federico Formica, Tony Fan, Akshay Rajhans +3 more

cs.SE · 22 Dec 2022 · cited 7× · arXiv ↗ · more like this ·

Simulation-based software testing supports engineers in finding faults in Simulink models. It typically relies on search algorithms that iteratively generate test inputs used to exercise models in simulation to detect design errors. While simulation-based software testing techniques are effective in many practical scenarios, they are typically not fully integrated within the Simulink environment and require additional manual effort. Many techniques require engineers to specify requirements using logical languages that are neither intuitive nor fully supported by Simulink, thereby limiting their adoption in industry. This work presents HECATE, a testing approach for Simulink models using Test Sequence and Test Assessment blocks from Simulink Test. Unlike existing testing techniques, HECATE uses information from Simulink models to guide the search-based exploration. Specifically, HECATE…

Two Simulink Models with Requirements for a Simple Controller of a Pacemaker Device

Mostafa Ayesh, Namya Mehan, Ethan Dhanraj +8 more

Computational Theory and Mathematics · EPiC series in computing · 13 Dec 2022 · cited 4× · DOI ↗ · more like this ·

This paper proposes a benchmark for a controller of a pacemaker device developed as part of the course “SFWRENG 3MD3 - Safe Software-Intensive Medical Devices” pro- vided at McMaster University. The benchmark includes two alternative Simulink® models, developed by two different groups of students. Each model comes with a requirement for- malized in Signal Temporal Logic (STL). We also present the testing results obtained using S-TaLiRo, a well-known testing framework for Simulink® models.

Social Network Supports in Knowledge Sharing

Stephen J.H. Yang, Irene Y.L. Chen, Jeff Huang +1 more

Communication · September 2007 · cited 2× · DOI ↗ · more like this ·

One of the essential goals of knowledge sharing is to enable collaboration among the participants (or collaborators) to share relevant knowledge. By collaborators, here we refer to other Web-based workers who either possess related knowledge or can help to discover and obtain the knowledge through communications and discussions. The performance of knowledge sharing is fundamentally based on how collaborators and relevant knowledge can be effectively found. In this paper, we establish a peer-to-peer-based social network to facilitate and enhance Web-based knowledge sharing by finding knowledgeable and trustworthy collaborators who are willing to share their knowledge. Results of this research demonstrate that applying such mechanism do improve the quality of collaboration in knowledge sharing.

WHED: A Wearable Hand Exoskeleton for Natural, High-Quality Demonstration Collection

Mingzhang Zhu, Alvin Zhu, Jose Victor S. H. Ramos +9 more

cs.RO · February 2026 · arXiv ↗ · more like this ·

Scalable learning of dexterous manipulation remains bottlenecked by the difficulty of collecting natural, high-fidelity human demonstrations of multi-finger hands due to occlusion, complex hand kinematics, and contact-rich interactions. We present WHED, a wearable hand-exoskeleton system designed for in-the-wild demonstration capture, guided by two principles: wearability-first operation for extended use and a pose-tolerant, free-to-move thumb coupling that preserves natural thumb behaviors while maintaining a consistent mapping to the target robot thumb degrees of freedom. WHED integrates a linkage-driven finger interface with passive fit accommodation, a modified passive hand with robust proprioceptive sensing, and an onboard sensing/power module. We also provide an end-to-end data pipeline that synchronizes joint encoders, AR-based end-effector pose, and wrist-mounted visual…