default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID10th FormaliSE@ICSE 2022: Pittsburgh, PA, USA
- Arnd Hartmanns, Ina Schaefer, Stefania Gnesi, Nico Plat:
10th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE@ICSE 2022, Pittsburgh, PA, USA, May 22-23, 2022. ACM 2022, ISBN 978-1-4503-9287-7 - Levente Bajczi
, Zsófia Ádám, Vince Molnár:
C for Yourself: Comparison of Front-End Techniques for Formal Verification. 1-11 - Irman Faqrizal, Gwen Salaün:
Counting Bugs in Behavioural Models using Counterexample Analysis. 12-22 - Sylvain Hallé:
Test Suite Generation for Boolean Conditions with Equivalence Class Partitioning. 23-33 - Asmae Heydari Tabar, Richard Bubel, Reiner Hähnle:
Automatic Loop Invariant Generation for Data Dependence Analysis. 34-45 - Soha Hussein, Sanjai Rayadurgam, Stephen McCamant, Vaibhav Sharma, Mats P. E. Heimdahl:
Counterexample-Guided Inductive Repair of Reactive Contracts. 46-57 - Ana Jovanovic, Allison Sullivan:
Towards Automated Input Generation for Sketching Alloy Models. 58-68 - Sophie Lathouwers, Marieke Huisman:
Formal Specifications Investigated: A Classification and Analysis of Annotations for Deductive Verifiers. 69-79 - 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. 80-90 - Roberto Metere, Luca Arnaboldi:
Automating Cryptographic Protocol Language Generation from Structured Specifications. 91-101 - Hessamaldin Mohammadi, Wided Ghardallou, Richard C. Linger, Ali Mili:
Computing Program Functions. 102-112 - Arnab Sharma, Vitalik Melnikov, Eyke Hüllermeier, Heike Wehrheim:
Property-Driven Testing of Black-Box Functions. 113-123 - Amirfarhad Nilizadeh, Marlon Calvo, Gary T. Leavens, David R. Cok:
Generating Counterexamples in the form of Unit Tests from Hoare-style Verification Attempts. 124-128
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-12 01:06 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
