Παρακολούθηση
Marlon Calvo
Marlon Calvo
Άγνωστη συνεργασία
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα knights.ucf.edu
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
More reliable test suites for dynamic APR by using counterexamples
A Nilizadeh, M Calvo, GT Leavens, XBD Le
2021 IEEE 32nd International Symposium on Software Reliability Engineering …, 2021
172021
Generating counterexamples in the form of unit tests from Hoare-style verification attempts
A Nilizadeh, M Calvo, GT Leavens, DR Cok
Proceedings of the IEEE/ACM 10th International Conference on Formal Methods …, 2022
112022
Wehrheim, Heike 113
L Arnaboldi, L Bajczi, MM Bersani, R Bubel, M Calvo, DR Cok, I Faqrizal, ...
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–3