• HOME
• ABOUT US
  • Organization
  • Personnel
• NEWS&EVENTS
  • News & Events archive
  • Newsletter archive
  • Conference archive
  • Travel reports
• COOPERATION
  • International Involvement
  • National Involvement
  • Regional Involvement
• EDUCATION
  • Master's Programmes
  • TUCS Graduate Programmes
  • Information for Students
  • Courses
  • TUCS Short Courses
• PUBLICATIONS
  • TUCS Publication Series
  • How to Publish in TUCS Series
  • Publication Search
  • Publication Graph
  • Publication Input
  • Publication Input Guide
  • JuFo Browser
• RESEARCH
  • Focus areas
  • Research Programmes
  • Research Units
  • Distinguished Lectures

Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search

• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Department: Any ÅAU / Department of Information Technologies UTU / Department of Information Technology UTU / Department of Mathematics and Statistics UTU / Turku School of Economics, Institute of Information Systems Sciences

Research Unit: Any Algorithmics and Computational Intelligence Group (ACI) Biomathematics Research Unit (BIOMATH) Communication Systems (ComSys) Computational Biomodeling Laboratory (Combio Lab) Data Mining and Knowledge Management Laboratory Distributed Systems Laboratory (DS Lab) Embedded Computer and Electronic Systems (ECES) Embedded Systems Laboratory (ESLAB) FUNDIM, Fundamentals of Computing and Discrete Mathematics Institute for Advanced Management Systems Research (IAMSR) Learning and Reasoning Lab Software Construction Laboratorium Software Development Laboratory (SwDev) Software Engineering Laboratory (SE Lab) Turku BioNLP Group Turku Optimization Group (TOpGroup) UTU Information Systems Science (ISS)

Publication type: Any Monographs Edited books Edited special issues of journals Edited proceedings Articles in journals Articles in proceedings Chapters in edited books Ph.D. thesis Lic. thesis Technical reports

Lastname, Firstname Year Title Abstract Keyword Points AND Lastname, Firstname Year Title Abstract Keyword Points AND Lastname, Firstname Year Title Abstract Keyword Points AND Lastname, Firstname Year Title Abstract Keyword Points AND Lastname, Firstname Year Title Abstract Keyword Points

Sort output by publication type Sort output by publication year

and display below and download in BibTeX and download as CSV and download as 2014-CSV

Articles in journals (1):

• Qaisar A. Malik, Linas Laibinis, Dragos Truscan, Johan Lilius, Requirement-Driven Scenario-Based Testing Using Formal Stepwise Development. International Journal On Advances in Software 3(1 & 2), 147–160, 2010.

Articles in proceedings (10):

• Qaisar 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?. In: 2010 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, 291–299, IEEE Computer Society, 2010.
• Qaisar Malik, Dragos Truscan, Johan Lilius, Using UML Models and Formal Verification in Model-Based Testing. In: Roy Sterritt, Brandon Eames, Jonathan Sprinkle (Eds.), 17th IEEE Intl. Conference on Engineering of Computer-Based Systems (ECBS 2010), 50–56, IEEE Computer Society, 2010.
• Qaisar A. Malik, Antti Jääskeläinen, Heikki Virtanen, Mika Katara, Fredrik Abbors, Dragos Truscan, Johan Lilius, Using System Models vs. Test Models in Model-Based Testing. In: Proceedings of "Opiskelijoiden minikonferenssi" at "Tietotekninen tuki ohjelmoinnin opetuksessa", 2009.
• Qaisar A. Malik, Johan Lilius, Linas Laibinis, Scenario-based Test Case Generation Using Event-B Models. In: In proceedings of International IEEE Conference on Advances in System Testing and Validation Lifecycle (VALID 2009), IEEE Computer Society, 2009.
• Qaisar A. Malik, Applying Tests for Validating Fault-Tolerance in Software Systems.. In: NODES 07 - NOrdic workshop and doctoral symposium on DEpendability and Security, Oslo, Norway,, 2007.
• Qaisar Ahmad Malik, Johan Lilius, Linas Laibinis, Model-based Testing Using Scenarios and Event-B Refinements. In: Workshop on Methods, Models and Tools, 2007.
• Manoranjan Satpathy, Qaisar A. Malik, Johan Lilius, Synthesis of Scenario Based Test Cases from B Models. In: Klaus Havelund, Manuel Núñez, Grigore Rosu, Burkhart Wolff (Eds.), Formal Approaches to Software Testing and Runtime Verification, First Combined International Workshops FATES 2006 and RV 2006 Seattle, WA, USA, August 15-16, 2006 Revised Selected Papers, Lecture Notes in Computer Science 4262, 133–147, Springer, 2006.
• Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar Malik, Formal Service-Oriented Development of Fault Tolerant Communicating Systems. In: Proceedings of REFT 2005 - the Workshop on Rigorous Engineering of Fault Tolerant Systems, 2005.
• Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar Malik, Formal Model-Driven Development of Communicating Systems. In: Kung-Kiu Lau, Richard Banach (Eds.), Proceedings of ICFEM 2005 - 7th International Conference on Formal Engineering Methods, Lecture Notes in Computer Science 3785, Springer, 2005.
• Sari Leppänen, Dubravka Ilic, Qaisar Malik, Tarja Systä, Elena Troubitsyna, Specifying UML Profile for Distributed Communicating Systems and Communication Protocols. In: Gianna Reggio Jean Louis Sourrouille Miroslaw Staron Ludwik Kuzniarz (Ed.), Workshop on Consistency in Model Driven Engineering - C@MODE’05, 31-46, 2005.

Chapters in edited books (2):

• Qaisar A. Malik, Johan Lilius, Linas Laibinis, Model-based Testing Using Scenarios and Event-B Refinements. In: Cliff Jones Alexander Romanovsky Michael Butler, Elena Troubitsyna (Eds.), Methods, Models and Tools for Fault Tolerance, Lecture Notes in Computer Science 5454, 177–195, Springer, 2008.
• Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar Malik, Formal Service-Oriented Development of Fault Tolerant Communicating Systems. In: Rigorous Development of Complex Fault-Tolerant Systems, Lecture Notes in Computer Science 4157, 261–187, Springer Berlin / Heidelberg, 2006.

Ph.D. thesis (1):

• Qaisar Ahmad Malik, Combining Model-Based Testing and Stepwise Formal Development. TUCS Dissertations 130. Turku Centre for Computer Science, 2010.

Technical reports (3):

• Qaisar A. Malik, Johan Lilius, Linas Laibinis, Generating Test Cases from Scenario-Based Formal Development. TUCS Technical Reports 895, Turku Centre for Computer Science, 2008.
• Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar Malik, Formal Service-Oriented Development of Fault Tolerant Communicating Systems. TUCS Technical Reports 764, Turku Centre for Computer Science, 2006.
• Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar Malik, Formal Model-Driven Development of Communicating Systems. TUCS Technical Reports 691, Turku Centre for Computer Science, 2005.