Muzammil Shahbaz
Muzammil Shahbaz
Barclays Technology Center
Verified email at barclays.com
TitleCited byYear
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
3902014
Inferring mealy machines
M Shahbaz, R Groz
International Symposium on Formal Methods, 207-222, 2009
1292009
A comprehensive survey of trends in oracles for software testing
M Harman, P McMinn, M Shahbaz, S Yoo
University of Sheffield, Tech. Rep. CS-13-01, 2013
582013
Search-Based Test Input Generation for String Data Types Using the Results of Web Queries
P McMinn, M Shahbaz, M Stevenson
512012
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
Modular system verification by inference, testing and reachability analysis
R Groz, K Li, A Petrenko, M Shahbaz
Testing of software and communicating systems, 216-233, 2008
342008
Learning and integration of parameterized components through testing
M Shahbaz, K Li, R Groz
Testing of software and communicating systems, 319-334, 2007
342007
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
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
262014
Learning parameterized state machine model for integration testing
M Shahbaz, K Li, R Groz
31st Annual International Computer Software and Applications Conference …, 2007
262007
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
212015
Reverse engineering enhanced state models of black box software components to support integration testing
M Shahbaz
Ph. D. thesis, 2008
212008
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
202012
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
202011
Reverse Engineering Enhanced State Models of Black Box Components to support Integration Testing
M Shahbaz
Ph. D. Thesis, 2008
132008
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
112010
Reverse Engineering and Testing of Black-Box Software Components: by Grammatical Inference techniques
M Shahbaz
LAP LAMBERT, 2012
6*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
52011
Incremental inference of black-box components to support integration testing
M Shahbaz
Testing: Academic & Industrial Conference-Practice And Research Techniques …, 2006
42006
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