has been cited by the following article(s):
[1]
|
Automated Test Case Generation for Safety-Critical Software in Scade
2023 IEEE/ACM 45th International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP),
2023
DOI:10.1109/ICSE-SEIP58684.2023.00049
|
|
|
[2]
|
Nuclear Power Plants: Innovative Technologies for Instrumentation and Control Systems
Lecture Notes in Electrical Engineering,
2021
DOI:10.1007/978-981-16-3456-7_28
|
|
|
[3]
|
An Efficient Method for Automated Regression Test Data Generation for C/C++ Projects
2021 8th NAFOSTED Conference on Information and Computer Science (NICS),
2021
DOI:10.1109/NICS54270.2021.9701454
|
|
|
[4]
|
Automatic Test Case Generation from Usage Information
2018 11th International Conference on the Quality of Information and Communications Technology (QUATIC),
2018
DOI:10.1109/QUATIC.2018.00047
|
|
|
[5]
|
A regression testing approach for Lustre/SCADE programs
Proceedings of the Sixth International Symposium on Information and Communication Technology,
2015
DOI:10.1145/2833258.2833278
|
|
|