Author:
Milewicz Reed,Pirkelbauer Peter
Subject
Computer Networks and Communications,Software
Reference52 articles.
1. Alba E, Troya JM. Genetic algorithms for protocol validation. In: Parallel problem solving from nature—PPSN IV. Springer; 1996. p. 869–79.
2. Andrews JH, Briand LC, Labiche Y. Is mutation an appropriate tool for testing experiments? In: Proceedings of the 27th international conference on software engineering. ACM; 2005. p. 402–11.
3. Bhadra J, Abadir MS, Wang LC, Ray S. A survey of hybrid techniques for functional verification. IEEE Des Test Comput 2007;(2):112–22.
4. Bowring JF, Harrold MJ, Rehg JM. Improving the classification of software behaviors using ensembles of control-flow and data-flow classifiers. Technical report GIT-CERCS-05-10. Georgia Institute of Technology; 2005.
5. Bowring JF, Rehg JM, Harrold MJ. Active learning for automatic classification of software behavior. In: ACM SIGSOFT software engineering notes, vol. 29. ACM; 2004. p. 195–205.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献