@misc{indiciae7d3d7b07dacf, title = {UIVerify: A Web-Based Tool for Verification and Automatic Generation of User Interfaces}, author = {Shiffman, Smadar and Degani, Asaf and Heymann, Michael}, year = {2004}, url = {https://ntrs.nasa.gov/citations/20040079383}, note = {Source identifier: 20040079383} }