Muddassar Azam Sindhu

PhD Student
Room 1431
Theory Group
CSC,KTH
Stockholm 100 44
Sweden
Phone: +46 (0)8 790 8408
Email: sindhu[at]nada dot kth dot se or you can use sindhu[at]csc dot kth dot se

Current Activity

The current focus of my research is on optimizing the tool which we have developed on the basis of our earlier research for automatic test case generation (ATCG) for testing of safety critical embedded software systems. The tool was developed on the idea of using incremental learning of system under test (SUT), which can be modeled as Moore Automata initially. To begin with an off the shelf algorithm available in literature was used to materialize this idea. But initial research led us to the conclusion that this algorithm was too limited therefore a new algorithm in which SUT can be modeled as a deterministic Kripke structure with multi bit output was devised and implemented with two variants (with and without prefix closure). Promising results on this learning frame work led us to integrate the *Incremental Kripke Learner* with the NuSMV model checker which provides counter examples when a specific requirment/specification formula is violated, this counterexample can be used as an interesting test case for SUT. An initial version of the (ATCG) tool is now ready and has been put to test on a few reactive systems like the cruise controller and an elevator system for multiple floors. The results indicate the usefulness of incremental learning over complete learning for ATCG by detecting the bug/error much earlier than the systems which try to learn the system completely. In the next stage we want to optimize this tool and scale it to systems with even larger state space.

Publications

• My Licentiate Thesis can be found at: Incremental Learning and Testing of Reactive Systems. bibtex

Conference

• Learning-Based Software Testing: a Tutorial [Karl Mienke, Fei Niu, Muddassar Sindhu] to appear in Proc. Int. ISoLA workshop on Machine Learning, CCIS, Springer Verlag, 2011.

• Correctness and Performance of an Incremental Learning Algorithm for Finite Automata.[Karl Mienke, Muddassar Sindhu] poster in 3rd ACML 2011, 13-15 November 2011, Taiwan.

• Incremental Learning-Based Testing for Reactive Systems.[Karl Mienke, Muddassar Sindhu] pp 134-151 in: Proc, TAP 2011, LNCS 6706, Springer Verlag, 2011. bibtex

Technical Reports

• On the Correctness and Performance of IID Learning Algorithm for Finite Automata.[Karl Mienke, Muddassar Sindhu] Technical Report bibtex

Earlier

I worked as a Lecturer in Computer Science Department of Quaid i Azam University Islamabad, Pakistan  from August 2005 to September 2008 prior to joining CSC as a PhD Student. I taught the following courses there:-

• CS-301 Computer Sytems (Fall 05 to Spring 08)

• CS-353 Database Design  (Fall 05 to Spring 08)

• CS-482 Web Engineering (Fall 06 to Fall 07)

I also supervised Final Projects of MSc students relevant to Databases, Web, DLD and Software Engineering.

Education

• Licentiate in Engineering from Royal Institute of Technology, Stockholm, Sweden..

• MSC in Computer Science from Punjab University, Lahore, Pakistan.

Interesting Courses (taken at CSC, KTH)

• Advanced Object Oriented Systems

• FDD3001: Research - Theory, Method, Practice

• 2D5377 Algebras + Coalgebras = Data Types + Systems

• MF2008 Embedded Control Systems

• Formal Methods

• Network Security

• Semantics of Programming Languages

Talks

In Semantic and Logic Interest Group at CSC, KTH.

• About Angluin's ID Algorithm (April 29, 2009)

• About IID Algorithm (May 13, 2009)

In HATS Project Meeting at CWI, Amsterdam, Netherlands.

• Model Mining at KTH (May 12, 2010) pdf

In proceedings of 5th International Conference on Tests and Proofs TAP 2011 at ETH, Zurich, Switzerland.

• Incremental Learning-based Testing for Reactive Systems. pdf

Calendar

Please have a look on my calendar/timings below, if you want to have a meeting. Thanks!!!

Office Hours: 10:00 a.m to 06:00 p.m usually.