IT@ÅA
  • Research
  • Education
  • People
  • Projects
  • Publications

Junaid Iqbal MSc, MCS

Doctoral Student

Email:
junaid.iqbal@abo.fi
Room:
345A , Details

Location of room

Junaid Iqbal

Research Expertise

software engineering software testing model-based testing java conformance testing executable modeling functional testting

Publications

As Iqbal, Junaid or Iqbal, Junaid

Chapters in edited books 2

Siavashi, Faezeh and Iqbal, Junaid and Truscan, Dragos and Vain, Juri, Testing Web Services with Model-Based Mutation. In: Software Technologies. Cabello, Enrique and Cardoso, Jorge and Ludwig, Andre and Maciaszek, Leszek A. and van Sinderen, Marten (Eds.). Springer, 2017 2
Truscan, Dragos and Vain, Jüri and Koskinen, Martin and Iqbal, Junaid, A Tool-Supported Approach for Introducing Aspects in UPPAAL Timed Automata. In: Software Technologies 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014, Revised Selected Papers. Holzinger, A. and Cardoso, J. and Cordeiro, J. and Libourel, T. and Maciaszek, L.A. and van Sinderen, M. (Eds.). Communications in Computer and Information Science Springer, 2015 2

Articles in proceedings 3

Iqbal, Junaid and Truscan, Dragos and Vain, Juri and Porres, Ivan, Reconstructing Timed Symbolic Traces from Rtioco-Based Timed Test Sequences Using Backward-Induction. In: Proceedings of the Fifth European Conference on the Engineering of Computer-Based Systems. Papadopoulos, George Angelos and Rysavy, Ondrej and Vranić, Valentino (Eds.). ACM, 2017
Vain, Jüri and Truscan, Dragos and Iqbal, Junaid and Tsiopoulos, Leonidas, On the Benefits of Using Aspect-Orientation in UPPAAL Timed Automata. In: International Conference on Infocom Technologies and Unmanned Systems (ICTUS 2017). Khatri, Sunil Kumar and Kapur, R.K. and Rana, Ajay and Singh, Sanjay and Kapur, P.K. (Eds.). 978-1-5386-0514-1 IEEE, 2017
Jafri, Syed M. A. H. and Leon, Guillermo Serrano and Iqbal, Junaid and Daneshtalab, Masoud and Ahmed Hemani, and Paul, Kolin and Plosila, Juha and Tenhunen, Hannu, RuRot: Run-Time Rotatable-Expandable Partitions for Efficient Mapping in CGRAs. In: International Conference on Embedded Computer Systems: Architecture, Modeling and Simulations (SAMOS) . Veidenbaum, Alexander V. (Eds.). IEEE, 2014 1

Technical reports 2

Iqbal, Junaid and Tsiopoulos, Leonidas and Truscan, Dragos and Vain, Jüri and Porres, Ivan, The Crisis Management System – A Case Study in Aspect-Oriented Modeling Using UPPAAL. TUCS Technical Reports 1169. Turku Centre for Computer Science, 2016
Iqbal, Junaid and Truscan, Dragos and Vain, Jüri and Porres, Ivan, TRON2UPPAAL Backtracer Tool – From TRON Logs to UPPAAL Traces. TUCS Technical Reports 1138. Turku Centre for Computer Science, 2015

Location of room

Laboratories and Groups

  • Embedded Systems Laboratory
  • Software Engineering Laboratory
  • Software Technology Research Center

Current projects

  • MegaModelling at Runtime - scalable model-based framework for continuous development and runtime validation of complex systems (MegaM@Rt2)
    ECSEL JU, Tekes, 2017 – 2020

Completed projects

  • Practical Applications of Model-based technologies to continuous integration & testing methodologies (PAM)
    TEKES, 2012 – 2015

Footer

Contact

Phone: +358 (0)2 215 4475
Fax: +358 (0)2 251 5557

Visiting address

Åbo Akademi, Agora
Informationsteknologi
Vattenborgsvägen 3
20500 Åbo

Postal address

Åbo Akademi
Informationsteknologi
Agora
Domkyrkotorget 3
20500 Åbo

Social media

Fb

Quick links

Åbo Akademi
TUCS
Department Intra
Sign in to site administration