HITECS-Reference-Cited by-同舟云学术

HITECS

Published:2018-10-14 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems
language:
Short-container-title:

Author:

Shin Seung Yeob¹,Chaouch Karim¹,Nejati Shiva¹,Sabetzadeh Mehrdad¹,Briand Lionel C.¹,Zimmer Frank²

Affiliation:

1. SnT Centre, University of Luxembourg, Luxembourg

2. SES Networks, Luxembourg

Funder

H2020 European Research Council

Fonds National de la Recherche Luxembourg

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3239372.3239382

Reference50 articles.

1. Testing vision-based control systems using learnable evolutionary algorithms

2. Applying Model Checking to Industrial-Sized PLC Programs

3. Alf 2017. Action Language for Foundational UML (Alf). OMG Specification formal/2017-07-04. Object Management Group. Alf 2017. Action Language for Foundational UML (Alf). OMG Specification formal/2017-07-04. Object Management Group.

4. U-Test: Evolving, Modelling and Testing Realistic Uncertain Behaviours of Cyber-Physical Systems

5. Paul Ammann and Jeff Offutt. 2016. Introduction to Software Testing (2 ed.). Cambridge University Press. Paul Ammann and Jeff Offutt. 2016. Introduction to Software Testing (2 ed.). Cambridge University Press.

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

1. Rapid-Prototyping and Early Validation of Software Models through Uniform Integration of Hardware;2023 ACM/IEEE 26th International Conference on Model Driven Engineering Languages and Systems (MODELS);2023-10-01

2. Cyber-physical Framework for System Frequency Response using Real-time simulation Phasor Measurement Unit based on ANSI C37.118;2023 IEEE Power & Energy Society General Meeting (PESGM);2023-07-16

3. Single and Multi-objective Test Cases Prioritization for Self-driving Cars in Virtual Environments;ACM Transactions on Software Engineering and Methodology;2023-04-04

4. A domain-specific language for simulation-based testing of IoT edge-to-cloud solutions;Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems;2022-10-23

5. Uncertainty representation in software models: a survey;Software and Systems Modeling;2021-01-08