| The oracle problem in software testing: A survey ET Barr, M Harman, P McMinn, M Shahbaz, S Yoo IEEE transactions on software engineering 41 (5), 507-525, 2014 | 980 | 2014 |
| Inferring mealy machines M Shahbaz, R Groz FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands …, 2009 | 198 | 2009 |
| A comprehensive survey of trends in oracles for software testing M Harman, P McMinn, M Shahbaz, S Yoo University of Sheffield, Department of Computer Science, Tech. Rep. CS-13-01, 2013 | 85 | 2013 |
| Search-Based Test Input Generation for String Data Types Using the Results of Web Queries P McMinn, M Shahbaz, M Stevenson | 70 | 2012 |
| Modular system verification by inference, testing and reachability analysis R Groz, K Li, A Petrenko, M Shahbaz Testing of Software and Communicating Systems: 20th IFIP TC 6/WG 6.1 …, 2008 | 42 | 2008 |
| Analysis and testing of black‐box component‐based systems by inferring partial models M Shahbaz, R Groz Software Testing, Verification and Reliability 24 (4), 253-288, 2014 | 37 | 2014 |
| Learning and integration of parameterized components through testing M Shahbaz, K Li, R Groz Testing of Software and Communicating Systems: 19th IFIP TC6/WG6. 1 …, 2007 | 37 | 2007 |
| Integration testing of components guided by incremental state machine learning K Li, R Groz, M Shahbaz Testing: Academic & Industrial Conference-Practice And Research Techniques …, 2006 | 36 | 2006 |
| Automatic generation of valid and invalid test data for string validation routines using web searches and regular expressions M Shahbaz, P McMinn, M Stevenson Science of Computer Programming 97, 405-425, 2015 | 33 | 2015 |
| Automated discovery of valid test strings from the web using dynamic regular expressions collation and natural language processing M Shahbaz, P McMinn, M Stevenson 2012 12th International Conference on Quality Software, 79-88, 2012 | 33 | 2012 |
| Learning parameterized state machine model for integration testing M Shahbaz, K Li, R Groz 31st Annual International Computer Software and Applications Conference …, 2007 | 29 | 2007 |
| Integration testing of distributed components based on learning parameterized I/O models K Li, R Groz, M Shahbaz Formal Techniques for Networked and Distributed Systems-FORTE 2006: 26th …, 2006 | 29 | 2006 |
| Iterative refinement of specification for component based embedded systems M Shahbaz, KC Shashidhar, R Eschbach Proceedings of the 2011 International Symposium on Software Testing and …, 2011 | 22 | 2011 |
| Reverse engineering enhanced state models of black box software components to support integration testing M Shahbaz Ph. D. thesis, 2008 | 22 | 2008 |
| Learning finite state models of observable nondeterministic systems in a testing context K El-Fakih, R Groz, MN Irfan, M Shahbaz 22nd IFIP International Conference on Testing Software and Systems, 97-102, 2010 | 15 | 2010 |
| Reverse Engineering Enhanced State Models of Black Box Components to support Integration Testing M Shahbaz Ph. D. Thesis, 2008 | 15 | 2008 |
| Reverse Engineering and Testing of Black-Box Software Components: by Grammatical Inference techniques M Shahbaz LAP LAMBERT, 2012 | 9* | 2012 |
| Specification inference using systematic reverse-engineering methodologies: An automotive industry application M Shahbaz, KC Shashidhar, R Eschbach IEEE software 29 (6), 62-69, 2011 | 8 | 2011 |
| Incremental inference of black-box components to support integration testing M Shahbaz Testing: Academic & Industrial Conference-Practice And Research Techniques …, 2006 | 5 | 2006 |
| Automatic discovery of unspecified behaviors in automotive control software M Shahbaz, R Eschbach Testing–Practice and Research Techniques: 5th International Academic and …, 2010 | 3 | 2010 |
Roland GrozUniv. Grenoble AlpesVerified email at imag.fr
