2
Publications
29
Citations
2
H-Index
2010
Active since
Affiliations
Qaisar A. Malik is an author at Turku Centre for Computer Science specializing in automated reasoning, formal verification, and test generation.
Top concepts
EngineeringVerificationFormal MethodsSoftware DesignTest AutomationTest GenerationComputer ScienceProgram AnalysisSoftware TestingSoftware Analysis
Publications per year
2010–2010
2
2
Model-Based Testing Using System vs. Test Models - What Is the Difference?
Qaisar A. Malik, Antti Jääskeläinen, Heikki Virtanen et al. · 2010 · 11 citations
Rows per page
1–2 of 2