Muzammil Shahbaz

Publication Activity (10 Years)

Years Active: 2006-2022
Publications (10 Years): 2

Top Topics

White Box Testing

Software Testing

Regular Expressions

Top Venues

Softw. Test. Verification Reliab.

Sci. Comput. Program.

Publications

Muzammil Shahbaz
An approach for Test Impact Analysis on the Integration Level in Java programs. CoRR (2022)
Muhammad Sajjad, Muhammad Wasim, Muzammil Shahbaz, Kashif Saghar, Muhammad Usman Ghani Khan
Dynamic Testing of C Program Interfaces Based on FSM Modeling. FIT (2018)
Muzammil Shahbaz, Phil McMinn, Mark Stevenson
Automatic generation of valid and invalid test data for string validation routines using web searches and regular expressions. Sci. Comput. Program. 97 (2015)
Earl T. Barr, Mark Harman, Phil McMinn, Muzammil Shahbaz, Shin Yoo
The Oracle Problem in Software Testing: A Survey. IEEE Trans. Software Eng. 41 (5) (2015)
Muzammil Shahbaz, Roland Groz
Analysis and testing of black-box component-based systems by inferring partial models. Softw. Test. Verification Reliab. 24 (4) (2014)
Muzammil Shahbaz, K. C. Shashidhar, Robert Eschbach
Specification Inference Using Systematic Reverse-Engineering Methodologies: An Automotive Industry Application. IEEE Softw. 29 (6) (2012)
Phil McMinn, Muzammil Shahbaz, Mark Stevenson
Search-Based Test Input Generation for String Data Types Using the Results of Web Queries. ICST (2012)
Muzammil Shahbaz, Phil McMinn, Mark Stevenson
Automated Discovery of Valid Test Strings from the Web Using Dynamic Regular Expressions Collation and Natural Language Processing. QSIC (2012)
Muzammil Shahbaz, K. C. Shashidhar, Robert Eschbach
Iterative refinement of specification for component based embedded systems. ISSTA (2011)
Muzammil Shahbaz, Robert Eschbach
Automatic Discovery of Unspecified Behaviors in Automotive Control Software. TAIC PART (2010)
Muzammil Shahbaz, Roland Groz
Inferring Mealy Machines. FM (2009)
Roland Groz, Keqin Li, Alexandre Petrenko, Muzammil Shahbaz
Modular System Verification by Inference, Testing and Reachability Analysis. TestCom/FATES (2008)
Roland Groz, Muzammil Shahbaz, Keqin Li
Extraction de modèles paramétrés au cours du test de composants logiciels. Tech. Sci. Informatiques 27 (8) (2008)
Muzammil Shahbaz, Keqin Li, Roland Groz
Learning and Integration of Parameterized Components Through Testing. TestCom/FATES (2007)
Muzammil Shahbaz, Roland Groz
Using Invariant Detection Mechanism in Black Box Inference. ISoLA (2007)
Muzammil Shahbaz, Benoît Parreaux, Francis Klay
Model Inference Approach for Detecting Feature Interactions in Integrated Systems. ICFI (2007)
Muzammil Shahbaz, Keqin Li, Roland Groz
Learning Parameterized State Machine Model for Integration Testing. COMPSAC (2) (2007)
Keqin Li, Roland Groz, Muzammil Shahbaz
Integration Testing of Distributed Components Based on Learning Parameterized I/O Models. FORTE (2006)
Muzammil Shahbaz
Incremental Inference of Black-Box Components to Support Integration Testing. TAIC PART (2006)
Keqin Li, Roland Groz, Muzammil Shahbaz
Integration Testing of Components Guided by Incremental State Machine Learning. TAIC PART (2006)