Claudio
@menghi_claudio
Followers
219
Following
957
Media
12
Statuses
305
Joined March 2016
Can Generative AI Produce Test Cases? An Experience from the Automotive Domain Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering - Industry Track https://t.co/yvNDfAusAb
dl.acm.org
0
0
0
Theano: A Tool for Verifying the Consistency and Completeness in Tabular Requirements Companion Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering https://t.co/vWlfhmf4N4
dl.acm.org
0
0
1
#IWCT2025 will take place next Monday. Checkout the program here: https://t.co/tVHsEWAjob There is still time to register for IWCT/#ICST here: https://t.co/av0osFnP8Y
#CIT #SWTesting
0
2
0
Title: Can Generative AI Produce Test Cases? An Experience from the Automotive Domain Authors: Wynn-Williams, S.; Tyrrell, R.; Pantelic, V.; Lawford, M.; Menghi, C.; Nalla, P.; Artail, H. Accepted in Industry Track - Foundations of Software Engineering (FSE 2025)
0
0
6
Title: Theano: A Tool for Verifying the Consistency and Completeness in Tabular Requirements Authors: A. F. Zanenga, N. M. Bisceglia, B. Ippoliti, A. Bombarda, A. Gargantini, A. Rajhans, C. Menghi Accepted in Demonstration Track - Foundations of Software Engineering (FSE 2025)
0
0
2
Did you know that we have a YouTube Channel? The FME YouTube channel collects invited talks at FM Symosia, FomaliSE conferences, and other formal methods events. Rewatch the talks on our YouTube channel (it's the next best thing to being there). https://t.co/sTKAEBYZIC
0
2
4
FME Teaching Tutorial Friday, February 28, at 3 pm CET! Prof. Mariëlle Stoelinga from University of Twente in The Netherlands will discuss about "Life long learning — experience with educational programs for professionals". https://t.co/2rWkSoAg16.
fme-teaching.github.io
In the FME Teaching Committee, we coordinate a tutorial series, planned to be held monthly. We aim to increase the awareness and sharing of tools and techniques used for teaching formal methods. The...
0
1
4
Attending or planning to attend #icse2025 from April 27-May 3 in Ottawa? Why not extend your visit to Canada and attend @ETAPSconf taking place the next week from May 3-8 in Hamilton. #icse2025 Registration: https://t.co/abCLhjV8KX
#etaps2025 Registration:
0
3
6
We are happy to announce that @JulekSU will give a keynote at #FMBC25 @ETAPSconf Julian leads the formal verification team at @NethermindEth, developing formal methods-based solutions to formally verifying the web3 ecosystem.
0
6
8
Submit your interesting academic or industry verification problems to the 2025 edition of the VerifyThis competition (co-located with ETAPS’25) by Feb. 7, 2025! For more information about the competition and submission process, see the call for problems: https://t.co/2S2xY28YCj
0
2
2
The @FormalMtds Industry Committee announces the next InFM talk! Dr. David Delmas (Airbus) will discuss Formal Verification of #Avionics Software 🛫. Learn how #FormalMethods transform avionics! 🗓️ Jan 16, 2025 ⏰ 3 PM CET 📍 https://t.co/Dtcm1Qp0l0
fme-industry.github.io
0
3
0
Reminder that the ETAPS doctoral dissertation award nomination deadline is the 15th Jan! Please nominate your excellent students* https://t.co/WOYqOw2ipv *at eligible institutions, who completed their doctoral degree in 2024
etaps.org
Award given to outstanding doctoral dissertations whose results have been published at ETAPS.
0
1
0
Happy Christmas from everyone at ETAPS!
0
1
3
This is an excellent opportunity to pursue a PhD at UCD. Contact me if you are interested!
We are accepting applications. If you are passionate about research or want to become an expert in an area of Computer Science check out the list of projects offered this year in #AI, #CyberSecurity , #QuantumComputing, #HCI, Bioinformatics and many more. https://t.co/WwFbuukEA8
1
1
4
Felienne Hermans (@Felienne ) talks diversity in part II of her interview on the ETAPS blog https://t.co/yh9i5aPcIC
0
4
6
Supervisors, has one of your students recently written an outstanding dissertation? Please nominate them for the ETAPS doctoral dissertation award*: https://t.co/WOYqOw2ipv *provided they completed their degree at an eligible institution and submitted in 2024
0
6
10
Title: Completeness and Consistency of Tabular Requirements: an SMT-Based Verification Approach Authors: Menghi, Claudio; Balai, Eugene; Valovcin, Darren; Sticksel, Christoph; Rajhans, Akshay Accepted for publication in IEEE Transactions on Software Engineering (TSE)
0
1
8
We are proud to announce invited speakers of ETAPS 2025: Amal Ahmed, Matthew B. Dwyer, José Meseguer, and Ina Schaefer. https://t.co/Cw2Qeh6CGx
etaps.org
Unifying speakers and invited speakers of ETAPS conferences.
1
3
12
The deadline for submissions is still the 10th AoE (i.e., in ~2 hours), but submitted papers can now be polished until the 14th AoE
0
4
6
The deadline for TACAS, FoSSaCS, FASE, and ESOP (round II): is October 10th AoE. https://t.co/28vQZVBxRc
@ETAPSconf
etaps.org
Hamilton, Canada, May 3–8, 2025
0
2
4