Search results

• 2022

  Design and classification of mutation operators for OCL specification

  Jin, K. & Lano, K., Oct 2022, MODELS '22: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings. ACM, p. 852-861 10 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  • Mutation Operator 100%
  • Constraint Language 100%
  • Model-Driven Engineering 22%
  • System Specification 22%
  • Testing Process 22%
  2 Citations (Scopus)

• OCL-based test case prioritisation using AgileUML

  Jin, K. & Lano, K., Oct 2022, MODELS '22: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings. p. 607-611 5 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  • Constraint Language 100%
  • Prioritization Process 50%
  • Genetic Algorithm 33%
  • Software Systems 16%
  • Software Engineering 16%
  1 Citation (Scopus)

• OCL libraries for software specification and representation

  Lano, K., Kolahdouz-Rahimi, S. & Jin, K., 23 Oct 2022, Proceedings - ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems, MODELS 2022: Companion Proceedings. Association for Computing Machinery, Inc, p. 894-898 5 p. (Proceedings - ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems, MODELS 2022: Companion Proceedings).

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  • Programs 100%
  • Specification Language 100%
  • Software Specification 100%
  • Standard Library 100%
  • Software Migration 100%
  3 Citations (Scopus)
• 2021

  Generation of Test Cases from UML Diagrams - A Systematic Literature Review

  Jin, K. & Lano, K., 25 Feb 2021, iSOFT - Proceedings of the 14th Innovations in Software Engineering Conference (Formerly known as India Software Engineering Conference), ISEC 2021. Mohapatra, D. P., Mishra, S., Clark, T. & Dubey, A. (eds.). 7. (ACM International Conference Proceeding Series).

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  • Models 100%
  • Paper 100%
  • Model System 50%
  • Model Type 50%
  • Exclusion Criterion 33%
  1 Citation (Scopus)

• Model-based Testing and Monitoring using AgileUML

  Lano, K. & Jin, K., 26 Mar 2021, The 2nd International Workshop on the Advancements in Model Driven Engineering (AMDE). Vol. 184. p. 773-778 6 p. (Procedia Computer Science).

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  Open Access

  File

  • model based testing 100%
  • Temporal Logic 50%
  • Mobile App 50%
  • Class Invariant 50%
  4 Citations (Scopus)

  58 Downloads (Pure)

• Mutation operators for object constraint language specification

  Jin, K. & Lano, K., 2021, In: CEUR Workshop Proceedings. 2999, p. 128-134 7 p.

  Research output: Contribution to journal › Conference paper › peer-review

  Open Access

  • Mutation Operator 100%
  • Constraint Language 100%
  • Programs 42%
  • Proposed Mutation 28%
  • Software Testing 14%
  3 Citations (Scopus)