FormaliSE@ICSE

Keyphrases

Publications

2022

Asmae Heydari Tabar, Richard Bubel, Reiner Hähnle
Automatic Loop Invariant Generation for Data Dependence Analysis. FormaliSE@ICSE (2022)
Roberto Metere, Luca Arnaboldi
Automating Cryptographic Protocol Language Generation from Structured Specifications. FormaliSE@ICSE (2022)
Levente Bajczi, Zsófia Ádám, Vince Molnár
C for Yourself: Comparison of Front-End Techniques for Formal Verification. FormaliSE@ICSE (2022)
Soha Hussein, Sanjai Rayadurgam, Stephen McCamant, Vaibhav Sharma, Mats P. E. Heimdahl
Counterexample-Guided Inductive Repair of Reactive Contracts. FormaliSE@ICSE (2022)
Sophie Lathouwers, Marieke Huisman
Formal Specifications Investigated: A Classification and Analysis of Annotations for Deductive Verifiers. FormaliSE@ICSE (2022)
Hessamaldin Mohammadi, Wided Ghardallou, Richard C. Linger, Ali Mili
Computing Program Functions. FormaliSE@ICSE (2022)
Ana Jovanovic, Allison Sullivan
Towards Automated Input Generation for Sketching Alloy Models. FormaliSE@ICSE (2022)
Sylvain Hallé
Test Suite Generation for Boolean Conditions with Equivalence Class Partitioning. FormaliSE@ICSE (2022)
Irman Faqrizal, Gwen Salaün
Counting Bugs in Behavioural Models using Counterexample Analysis. FormaliSE@ICSE (2022)
Arnab Sharma, Vitalik Melnikov, Eyke Hüllermeier, Heike Wehrheim
Property-Driven Testing of Black-Box Functions. FormaliSE@ICSE (2022)
Livia Lestingi, Cristian Sbrolli, Pasquale Scarmozzino, Giorgio Romeo, Marcello M. Bersani, Matteo Rossi
Formal Modeling and Verification of Multi-Robot Interactive Scenarios in Service Settings. FormaliSE@ICSE (2022)
Amirfarhad Nilizadeh, Marlon Calvo, Gary T. Leavens, David R. Cok
Generating Counterexamples in the form of Unit Tests from Hoare-style Verification Attempts. FormaliSE@ICSE (2022)
10th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE@ICSE 2022, Pittsburgh, PA, USA, May 22-23, 2022 FormaliSE@ICSE (2022)

2021

2020

2019