Qaisar A. Malik

According to our database, Qaisar A. Malik authored at least 6 papers between 2005 and 2010.

Collaborative distances:

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

2010

Using UML Models and Formal Verification in Model-Based Testing.

Qaisar A. Malik, Dragos Truscan, Johan Lilius

Proceedings of the 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, 2010

Model-Based Testing Using System vs. Test Models - What Is the Difference?.

Qaisar A. Malik, Antti Jääskeläinen, Heikki Virtanen, Mika Katara, Fredrik Abbors, Dragos Truscan, Johan Lilius

Proceedings of the 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, 2010

2009

Model-Based Testing Using Scenarios and Event-B Refinements.

Qaisar A. Malik, Johan Lilius, Linas Laibinis

Proceedings of the Methods, 2009

2006

Formal Service-Oriented Development of Fault Tolerant Communicating Systems.

Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar A. Malik

Proceedings of the Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project], 2006

Synthesis of Scenario Based Test Cases from B Models.

Manoranjan Satpathy, Qaisar A. Malik, Johan Lilius

Proceedings of the Formal Approaches to Software Testing and Runtime Verification, 2006

2005

Formal Model-Driven Development of Communicating Systems.

Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar A. Malik

Proceedings of the Formal Methods and Software Engineering, 2005