Search For:

Displaying 1-6 out of 6 total
Specification Inference Using Systematic Reverse-Engineering Methodologies: An Automotive Industry Application
Found in: IEEE Software
By Muzammil Shahbaz,K.C. Shashidhar,Robert Eschbach
Issue Date:November 2012
pp. 62-69
Lack of precise specification is a well-known problem in the software industry. This article covers some peculiar aspects of the problem and its causes in the automotive software industry. The authors describe how the situation motivates engineers to grasp...
Learning Parameterized State Machine Model for Integration Testing
Found in: Computer Software and Applications Conference, Annual International
By Muzammil Shahbaz, Keqin Li, Roland Groz
Issue Date:July 2007
pp. 755-760
<p>Although many of the software engineering activities can now be model-supported, the model is often missing in software development. We are interested in retrieving statemachine models from black-box software components. We assume that the details...
Incremental Inference of Black-Box Components to Support Integration Testing
Found in: Practice And Research Techniques, Testing: Academic & Industrial Conference on
By Muzammil Shahbaz
Issue Date:August 2006
pp. 71-74
Model Based Testing relies on the availability of formal models that are indispensable in analyzing the complete system?s behavior and testing of the key functionalities. On the other hand, the system designers of the industry are mostly relying on the int...
Integration Testing of Components Guided by Incremental State Machine Learning
Found in: Practice And Research Techniques, Testing: Academic & Industrial Conference on
By Keqin Li, Roland Groz, Muzammil Shahbaz
Issue Date:August 2006
pp. 59-70
The design of complex systems, e.g., telecom services, is nowadays usually based on the integration of components (COTS), loosely coupled in distributed architectures. When components come from third party sources, their internal structure is usually unkno...
Iterative refinement of specification for component based embedded systems
Found in: Proceedings of the 2011 International Symposium on Software Testing and Analysis (ISSTA '11)
By K. C. Shashidhar, Muzammil Shahbaz, Robert Eschbach
Issue Date:July 2011
pp. 276-286
The current practice of component based engineering raises concerns in industry when the specification of proprietary components suffers from inaccuracy and incompleteness. Engineers face difficulties in producing quality systems when they lack knowledge o...
Reverse engineering ECUs of automotive components: a case study
Found in: Proceedings of the First International Workshop on Model Inference In Testing (MIIT '10)
By Muzammil Shahbaz, Robert Eschbach
Issue Date:July 2010
pp. 21-22
This paper reports experiments conducted on the electronic control units of automobile components using model inference approach. We are studying the application of this approach to the problem of selecting quality components, validation and maintenance of...