Follow
Muzammil Shahbaz
Muzammil Shahbaz
Thales UK
Verified email at uk.thalesgroup.com
Title
Cited by
Cited by
Year
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
11272014
Inferring mealy machines
M Shahbaz, R Groz
International Symposium on Formal Methods, 207-222, 2009
2232009
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 1, 2013
872013
Search-Based Test Input Generation for String Data Types Using the Results of Web Queries
P McMinn, M Shahbaz, M Stevenson
762012
Modular system verification by inference, testing and reachability analysis
R Groz, K Li, A Petrenko, M Shahbaz
International Workshop on Formal Approaches to Software Testing, 216-233, 2008
432008
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
412014
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
372006
Learning and integration of parameterized components through testing
M Shahbaz, K Li, R Groz
International Workshop on Formal Approaches to Software Testing, 319-334, 2007
362007
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
332012
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
322015
Learning parameterized state machine model for integration testing
M Shahbaz, K Li, R Groz
31st Annual International Computer Software and Applications Conference …, 2007
292007
Integration testing of distributed components based on learning parameterized I/O models
K Li, R Groz, M Shahbaz
International Conference on Formal Techniques for Networked and Distributed …, 2006
282006
Reverse engineering enhanced state models of black box software components to support integration testing
M Shahbaz
Ph. D. thesis, 2008
232008
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
222011
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
172010
Reverse Engineering Enhanced State Models of Black Box Components to support Integration Testing
M Shahbaz
Ph. D. Thesis, 2008
152008
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
82011
Incremental inference of black-box components to support integration testing
M Shahbaz
Testing: Academic & Industrial Conference-Practice And Research Techniques …, 2006
52006
Automatic discovery of unspecified behaviors in automotive control software
M Shahbaz, R Eschbach
International Academic and Industrial Conference on Practice and Research …, 2010
32010
The system can't perform the operation now. Try again later.
Articles 1–20