I agree that this site is using cookies. You can find further informations here.
X
Artho, Cyrille
29  results:
Bookchapter (Online) X
Search for persons X
?
1

JPF: From 2003 to 2023:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Artho, Cyrille ; Parízek, Pavel ; Qu, Daohan.. - p. 3-22 , 2024
Link: https://doi.org/10.1007/..
 
?
2

Capturing Smart Contract Design with DCR Graphs:

, In: Software Engineering and Formal Methods; Lecture Notes in Computer Science,
Eshghie, Mojtaba ; Ahrendt, Wolfgang ; Artho, Cyrille.. - p. 106-125 , 2023
Link: https://doi.org/10.1007/..
 
?
3

Does Rust SPARK Joy? Safe Bindings from Rust to SPARK, Appl..:

, In: Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems,
Maiga, Aïssata ; Artho, Cyrille ; Gilcher, Florian. - p. 37-47 , 2023
Link: https://dl.acm.org/doi/1..
 
?
4

Prevalence of continuous integration failures in industrial..:

, In: 2022 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW),
Fu, Han ; Eldh, Sigrid ; Wiklund, Kristian.. - p. 61-66 , 2022
Link: https://doi.org/10.1109/..
 
?
5

Finding permission bugs in smart contracts with role mining:

, In: Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis,
Liu, Ye ; Li, Yi ; Lin, Shang-Wei. - p. 716-727 , 2022
Link: https://dl.acm.org/doi/1..
 
?
6

Dynamic Vulnerability Detection on Smart Contracts Using Ma..:

, In: Evaluation and Assessment in Software Engineering,
Eshghie, Mojtaba ; Artho, Cyrille ; Gurov, Dilian - p. 305-312 , 2021
Link: https://dl.acm.org/doi/1..
 
?
7

Test Benchmarks: Which One Now and in Future?:

, In: 2021 IEEE 21st International Conference on Software Quality, Reliability and Security (QRS),
Artho, Cyrille ; Benali, Adam ; Ramler, Rudolf - p. 328-336 , 2021
Link: https://doi.org/10.1109/..
 
?
8

Security-Aware Multi-User Architecture for IoT:

, In: 2021 IEEE 21st International Conference on Software Quality, Reliability and Security (QRS),
Birgersson, Marcus ; Artho, Cyrille ; Balliu, Musard - p. 102-113 , 2021
Link: https://doi.org/10.1109/..
 
?
9

Multi-objective Search for Model-based Testing:

, In: 2020 IEEE 20th International Conference on Software Quality, Reliability and Security (QRS),
Wang, Rui ; Artho, Cyrille ; Kristensen, Lars Michael. - p. 130-141 , 2020
Link: https://doi.org/10.1109/..
 
?
10

Toward an Encoding Approach to Interaction-based Test Suite..:

, In: 2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW),
Nishino, Kohei ; Kitamura, Takashi ; Kishi, Tomoji. - p. 211-212 , 2020
Link: https://doi.org/10.1109/..
 
?
11

Visualization and Abstractions for Execution Paths in Model..:

, In: Lecture Notes in Computer Science; Integrated Formal Methods,
Wang, Rui ; Artho, Cyrille ; Kristensen, Lars Michael. - p. 474-492 , 2019
Link: https://doi.org/10.1007/..
 
?
12

Visual analytics for concurrent Java executions:

, In: Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering,
Artho, Cyrille ; Pande, Monali ; Tang, Qiyi - p. 1102-1105 , 2019
Link: https://dl.acm.org/doi/1..
 
?
13

Visual Analytics for Concurrent Java Executions:

, In: 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE),
Artho, Cyrille ; Pande, Monali ; Tang, Qiyi - p. 1102-1105 , 2019
Link: https://doi.org/10.1109/..
 
?
14

Java Pathfinder at SV-COMP 2019 (Competition Contribution):

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Artho, Cyrille ; Visser, Willem - p. 224-228 , 2019
Link: https://doi.org/10.1007/..
 
?
15

Optimal Test Suite Generation for Modified Condition Decisi..:

, In: Developments in Language Theory; Lecture Notes in Computer Science,
Kitamura, Takashi ; Maissonneuve, Quentin ; Choi, Eun-Hye.. - p. 123-138 , 2018
Link: https://doi.org/10.1007/..
 
1-15