A Method for Animating Children’s Drawings of the Human Figure
Harrison Jesse Smith, Qingyuan Zheng, Yifei Li, Somya Jain, Jessica K. Hodgins
We Need a Testability Transformation Semantics
16th International Conference on Software Engineering and Formal Methods
Abstract
This paper1 briefly reviews Testability Transformation, its formal definition, and the open problem of constructing a set of formal test adequacy semantics to underpin the current practice of deploying transformations to help testing and verification activities.
Latest Publications
TOG - 2023
Reasoning over Public and Private Data in Retrieval-Based Systems
Simran Arora, Patrick Lewis, Angela Fan, Jacob Kahn, Christopher Ré
Hard Disk Drive Failure Analysis and Prediction: An Industry View
Zach Miller, Olusiji Medaiyese, Madhavan Ravi, Alex Beatty, Fred Lin