BibTeX
@INPROCEEDINGS{6405373, author={Cohen, Myra B. and Huang, Si and Memon, Atif M.}, booktitle={2012 IEEE 23rd International Symposium on Software Reliability Engineering}, title={AutoInSpec: Using Missing Test Coverage to Improve Specifications in GUIs}, year={2012}, volume={}, number={}, pages={251-260}, keywords={Graphical user interfaces;Maintenance engineering;Testing;Engines;Educational institutions;Genetic algorithms;Color;GUI Testing;Specification Mining;Invariants;Genetic Algorithm;Covering Arrays}, doi={10.1109/ISSRE.2012.33}}