Muzammil Shahbaz

According to our database, Muzammil Shahbaz authored at least 20 papers between 2006 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

An approach for Test Impact Analysis on the Integration Level in Java programs.

Muzammil Shahbaz

CoRR, 2022

2018

Dynamic Testing of C Program Interfaces Based on FSM Modeling.

Muhammad Sajjad, Muhammad Wasim, Muzammil Shahbaz, Kashif Saghar, Muhammad Usman Ghani Khan

Proceedings of the 2018 International Conference on Frontiers of Information Technology, 2018

2015

The Oracle Problem in Software Testing: A Survey.

Earl T. Barr, Mark Harman, Phil McMinn, Muzammil Shahbaz, Shin Yoo

IEEE Trans. Software Eng., 2015

Automatic generation of valid and invalid test data for string validation routines using web searches and regular expressions.

Muzammil Shahbaz, Phil McMinn, Mark Stevenson

Sci. Comput. Program., 2015

2014

Analysis and testing of black-box component-based systems by inferring partial models.

Muzammil Shahbaz, Roland Groz

Softw. Test. Verification Reliab., 2014

2012

Specification Inference Using Systematic Reverse-Engineering Methodologies: An Automotive Industry Application.

Muzammil Shahbaz, K. C. Shashidhar, Robert Eschbach

IEEE Softw., 2012

Automated Discovery of Valid Test Strings from the Web Using Dynamic Regular Expressions Collation and Natural Language Processing.

Muzammil Shahbaz, Phil McMinn, Mark Stevenson

Proceedings of the 2012 12th International Conference on Quality Software, 2012

Search-Based Test Input Generation for String Data Types Using the Results of Web Queries.

Phil McMinn, Muzammil Shahbaz, Mark Stevenson

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

2011

Iterative refinement of specification for component based embedded systems.

Muzammil Shahbaz, K. C. Shashidhar, Robert Eschbach

Proceedings of the 20th International Symposium on Software Testing and Analysis, 2011

2010

Automatic Discovery of Unspecified Behaviors in Automotive Control Software.

Muzammil Shahbaz, Robert Eschbach

Proceedings of the Testing, 2010

2009

Inferring Mealy Machines.

Muzammil Shahbaz, Roland Groz

Proceedings of the FM 2009: Formal Methods, 2009

2008

Extraction de modèles paramétrés au cours du test de composants logiciels.

Roland Groz, Muzammil Shahbaz, Keqin Li

Tech. Sci. Informatiques, 2008

Modular System Verification by Inference, Testing and Reachability Analysis.

Roland Groz, Keqin Li, Alexandre Petrenko, Muzammil Shahbaz

Proceedings of the Testing of Software and Communicating Systems, 2008

2007

Learning and Integration of Parameterized Components Through Testing.

Muzammil Shahbaz, Keqin Li, Roland Groz

Proceedings of the Testing of Software and Communicating Systems, 2007

Using Invariant Detection Mechanism in Black Box Inference.

Muzammil Shahbaz, Roland Groz

Proceedings of the ISoLA 2007, 2007

Model Inference Approach for Detecting Feature Interactions in Integrated Systems.

Muzammil Shahbaz, Benoît Parreaux, Francis Klay

Proceedings of the Feature Interactions in Software and Communication Systems IX, 2007

Learning Parameterized State Machine Model for Integration Testing.

Muzammil Shahbaz, Keqin Li, Roland Groz

Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

2006

Incremental Inference of Black-Box Components to Support Integration Testing.

Muzammil Shahbaz

Proceedings of the Testing: Academia and Industry Conference, 2006

Integration Testing of Components Guided by Incremental State Machine Learning.

Keqin Li, Roland Groz, Muzammil Shahbaz

Proceedings of the Testing: Academia and Industry Conference, 2006

Integration Testing of Distributed Components Based on Learning Parameterized I/O Models.

Keqin Li, Roland Groz, Muzammil Shahbaz

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006