Keyword:test

Publications
Leveraging Agile Test Automation Frameworks with Machine Learning for Improved Test Coverage Louis Frank and Saleh Mohamed EasyChair Preprint 13184
Determination of Multiple Intelligences in Mexican Engineering Students Carolina Lugo and Rafael García EasyChair Preprint 8666
Teaching-Learning Process for Academic Excellence and to Achieve NEP-2020 Goals M Raman Kumar, R.S Raju, G Vallathan and Kalyan Kasturi EasyChair Preprint 7688
GridTPT: a distributed platform for Theorem Prover Testing Thomas Bouton, Diego Caminha, David Déharbe and Pascal Fontaine In:PAAR-2010: Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning