متابعة
Paolo Arcaini
عنوان
عدد مرات الاقتباسات
عدد مرات الاقتباسات
السنة
Modeling and analyzing MAPE-K feedback loops for self-adaptation‏
P Arcaini, E Riccobene, P Scandurra‏
2015 IEEE/ACM 10th International Symposium on Software Engineering for …, 2015‏
3302015
Generating avoidable collision scenarios for testing autonomous driving systems‏
A Calò, P Arcaini, S Ali, F Hauer, F Ishikawa‏
2020 IEEE 13th International Conference on Software Testing, Validation and …, 2020‏
1242020
A model‐driven process for engineering a toolset for a formal method‏
P Arcaini, A Gargantini, E Riccobene, P Scandurra‏
Software: Practice and Experience 41 (2), 155-166, 2011‏
952011
AsmetaSMV: a way to link high-level ASM models to low-level NuSMV specifications‏
P Arcaini, A Gargantini, E Riccobene‏
Abstract State Machines, Alloy, B and Z: Second International Conference …, 2010‏
892010
Formal design and verification of self-adaptive systems with decentralized control‏
P Arcaini, E Riccobene, P Scandurra‏
ACM Transactions on Autonomous and Adaptive Systems (TAAS) 11 (4), 1-35, 2017‏
792017
Two-layered falsification of hybrid systems guided by monte carlo tree search‏
Z Zhang, G Ernst, S Sedwards, P Arcaini, I Hasuo‏
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2018‏
742018
Assessing the effectiveness of input and output coverage criteria for testing quantum programs‏
S Ali, P Arcaini, X Wang, T Yue‏
2021 14th IEEE Conference on Software Testing, Verification and Validation …, 2021‏
722021
Generating tests for detecting faults in feature models‏
P Arcaini, A Gargantini, P Vavassori‏
2015 IEEE 8th International Conference on Software Testing, Verification and …, 2015‏
682015
Muskit: A mutation analysis tool for quantum software testing‏
E Mendiluze, S Ali, P Arcaini, T Yue‏
2021 36th IEEE/ACM International Conference on Automated Software …, 2021‏
602021
Arch-comp 2020 category report: Falsification‏
G Ernst, P Arcaini, I Bennani, A Donze, G Fainekos, G Frehse, L Mathesen, ...‏
EPiC Series in Computing, 2020‏
502020
ARCH-COMP 2019 Category Report: Falsification.‏
G Ernst, P Arcaini, A Donze, G Fainekos, L Mathesen, G Pedrielli, ...‏
ARCH@ CPSIoTWeek, 129-140, 2019‏
492019
Automatic review of Abstract State Machines by meta-property verification‏
P Arcaini, A Gargantini, E Riccobene‏
Proceedings of the Second NASA formal methods symposium, 4-13, 2010‏
482010
Generating failing test suites for quantum programs with search‏
X Wang, P Arcaini, T Yue, S Ali‏
International symposium on search based software engineering, 9-25, 2021‏
472021
Targeting requirements violations of autonomous driving systems by dynamic evolutionary search‏
Y Luo, XY Zhang, P Arcaini, Z Jin, H Zhao, F Ishikawa, R Wu, T Xie‏
2021 36th IEEE/ACM International Conference on Automated Software …, 2021‏
462021
CoMA: conformance monitoring of java programs by abstract state machines‏
P Arcaini, A Gargantini, E Riccobene‏
International Conference on Runtime Verification, 223-238, 2011‏
452011
Effective hybrid system falsification using Monte Carlo tree search guided by QB-robustness‏
Z Zhang, D Lyu, P Arcaini, L Ma, I Hasuo, J Zhao‏
International Conference on Computer Aided Verification, 595-618, 2021‏
442021
Application of combinatorial testing to quantum programs‏
X Wang, P Arcaini, T Yue, S Ali‏
2021 IEEE 21st International Conference on Software Quality, Reliability and …, 2021‏
412021
Rigorous development process of a safety-critical system: from ASM models to Java code‏
P Arcaini, A Gargantini, E Riccobene‏
International Journal on Software Tools for Technology Transfer 19, 247-269, 2017‏
412017
Quito: a coverage-guided test generator for quantum programs‏
X Wang, P Arcaini, T Yue, S Ali‏
2021 36th IEEE/ACM International Conference on Automated Software …, 2021‏
402021
Quality indicators in search-based software engineering: An empirical evaluation‏
S Ali, P Arcaini, D Pradhan, SA Safdar, T Yue‏
ACM Transactions on Software Engineering and Methodology (TOSEM) 29 (2), 1-29, 2020‏
402020
يتعذر على النظام إجراء العملية في الوقت الحالي. عاود المحاولة لاحقًا.
مقالات 1–20