van Rooijen L, Bäumer FS, Platenius MC, Geierhos M, Hamann H, Engels G. From User Demand to Software Service: Using Machine Learning to Automate the Requirements Specification Process. In: 2017 IEEE 25th International Requirements Engineering Conference Workshops (REW). Piscataway, NJ, USA: IEEE; 2017:379-385. doi:10.1109/REW.2017.26
LibreCat: /record/97
DOI: 10.1109/REW.2017.26

Xie T, Müller W, Letombe F. Mutation-Analysis Driven Functional Verification of a Soft Microprocessor. In: Proceedings of SO. IEEE; 2012. doi:10.1109/SOCC.2012.6398362
LibreCat: /record/36994
DOI: 10.1109/SOCC.2012.6398362