Property-Aware Unit Testing of UML-RT Models in the Context of MDE-Reference-Cited by-同舟云学术

Property-Aware Unit Testing of UML-RT Models in the Context of MDE

Published:2018 Issue: Volume: Page:147-163
ISSN:0302-9743
Container-title:Modelling Foundations and Applications
language:
Short-container-title:

Author:

Ahmadi Reza,Hili Nicolas,Dingel Juergen

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-92997-2_10

Reference34 articles.

1. Testing solutions with UML/SysML (2010). http://www.artist-embedded.org/docs/Events/2010/UML_AADL/slides/Session1_Matthew_Hause.pdf . Accessed 06 Jan 2018

2. Model-Based Systems Engineering Design of an Automobile Collision Avoidance System (2011). https://www.isr.umd.edu/~austin/enes489p/projects2011a/CollisionAvoidance-FinalReport.pdf . Accessed 06 Jan 2018

3. A collection of well-known software failures (2016). http://www.cse.psu.edu/~gxt29/bug/softwarebug.html . Accessed 25 Aug 2016

4. Androutsopoulos, K., Clark, D., Harman, M., Hierons, R.M., Li, Z., Tratt, L.: Amorphous slicing of extended finite state machines. IEEE Trans. Softw. Eng. 39(7), 892–909 (2013)

5. Bordeleau, F., Fiallos, E.: Model-based engineering: a new era based on Papyrus and open source tooling. In: OSS4MDE@ MoDELS, pp. 2–8 (2014)

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

1. Automatic test amplification for executable models;Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems;2022-10-23

2. mCUTE: A Model-Level Concolic Unit Testing Engine for UML State Machines;2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE);2019-11

3. Concolic testing for models of state-based systems;Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2019-08-12

4. Slicing UML-based Models of Real-time Embedded Systems;Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems;2018-10-14