Mobile agent‐based regression test case generation using model and formal specifications-Reference-Cited by-同舟云学术

Mobile agent‐based regression test case generation using model and formal specifications

Published:2018-02 Issue:1 Volume:12 Page:30-40
ISSN:1751-8806
Container-title:IET Software
language:en
Short-container-title:IET softw.

Author:

Arora Pardeep Kumar¹,Bhatia Rajesh²

Affiliation:

1. Department of Computer Science Kanya Maha Vidyalaya Jalandhar India

2. Department of Computer Science and Engineering PEC University of Technology (Formerly Punjab Engineering College) Chandigarh India

Publisher

Institution of Engineering and Technology (IET)

Subject

Computer Graphics and Computer-Aided Design

Link

https://onlinelibrary.wiley.com/doi/pdf/10.1049/iet-sen.2016.0203

Reference35 articles.

1. Araújo J. Moreira A.: ‘Specifying the behaviour of UUML collaborations using object-Z’.Proc. of Americas Conf. on Information Systems (AMCIS) 2000 pp.380–387

2. Ricca F. Tonella P.: ‘Analysis and testing of web applications’.Proc. of 23rd Int. Conf. on Software Engineering (ICSE 2001) pp.25–34

3. Miao H. Liu L. Li L.: ‘Formalizing UML models with object-Z’.Proc. of 4th Int. Conf. on Formal Engineering Methods ICFEM 2002(LNCS 2495) pp.523–534

4. Roussev B.: ‘Generating OCL specifications and class diagrams from use cases: a Newtonian approach’.Proc. of 36th Annual Hawaii Int. Conf. on System Sciences 2002 ISBN 0-7695-1874-5

5. Tsai W.T. Yu L. Liu X.X. et al.: ‘Scenario-based test case generation for state-based embedded systems’.Conf. Proc. of the IEEE Int. Performance Computing and Communications Conf. 2003 pp.335–342

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Test Scenarios Generation and Optimization of Object-Oriented Models Using Meta-Heuristic Algorithms;Intelligent Technologies: Concepts, Applications, and Future Directions, Volume 2;2023

2. Model-based test case generation and prioritization: a systematic literature review;Software and Systems Modeling;2021-09-07

3. Framework for Flexible, Adaptive Support of Test Management by Means of Software Agents;IEEE Robotics and Automation Letters;2019-07

4. Literature Review on Test Case Generation Approach;Proceedings of the 2nd International Conference on Software Engineering and Information Management;2019-01-10

5. Agent-Based Regression Test Case Generation using Class Diagram, Use cases and Activity Diagram;Procedia Computer Science;2018