Qaisar A. Malik

Publication Activity (10 Years)

Years Active: 2005-2010
Publications (10 Years): 0

Publications

Qaisar A. Malik, Dragos Truscan, Johan Lilius
Using UML Models and Formal Verification in Model-Based Testing. ECBS (2010)
Qaisar A. Malik, Antti Jääskeläinen, Heikki Virtanen, Mika Katara, Fredrik Abbors, Dragos Truscan, Johan Lilius
Model-Based Testing Using System vs. Test Models - What Is the Difference?. ECBS (2010)
Manoranjan Satpathy, Qaisar A. Malik, Johan Lilius
Synthesis of Scenario Based Test Cases from B Models. FATES/RV (2006)
Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar A. Malik
Formal Service-Oriented Development of Fault Tolerant Communicating Systems. RODIN Book (2006)
Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar A. Malik
Formal Model-Driven Development of Communicating Systems. ICFEM (2005)