Abstract is missing.
- C for Yourself: Comparison of Front-End Techniques for Formal VerificationLevente Bajczi, Zsófia Ádám, Vince Molnár. 1-11 [doi]
- Counting Bugs in Behavioural Models using Counterexample AnalysisIrman Faqrizal, Gwen Salaün. 12-22 [doi]
- Test Suite Generation for Boolean Conditions with Equivalence Class PartitioningSylvain Hallé. 23-33 [doi]
- Automatic Loop Invariant Generation for Data Dependence AnalysisAsmae Heydari Tabar, Richard Bubel, Reiner Hähnle. 34-45 [doi]
- Counterexample-Guided Inductive Repair of Reactive ContractsSoha Hussein, Sanjai Rayadurgam, Stephen McCamant, Vaibhav Sharma, Mats P. E. Heimdahl. 46-57 [doi]
- Towards Automated Input Generation for Sketching Alloy ModelsAna Jovanovic, Allison Sullivan. 58-68 [doi]
- Formal Specifications Investigated: A Classification and Analysis of Annotations for Deductive VerifiersSophie Lathouwers, Marieke Huisman. 69-79 [doi]
- Formal Modeling and Verification of Multi-Robot Interactive Scenarios in Service SettingsLivia Lestingi, Cristian Sbrolli, Pasquale Scarmozzino, Giorgio Romeo, Marcello M. Bersani, Matteo Rossi. 80-90 [doi]
- Automating Cryptographic Protocol Language Generation from Structured SpecificationsRoberto Metere, Luca Arnaboldi. 91-101 [doi]
- Computing Program FunctionsHessamaldin Mohammadi, Wided Ghardallou, Richard C. Linger, Ali Mili. 102-112 [doi]
- Property-Driven Testing of Black-Box FunctionsArnab Sharma, Vitalik Melnikov, Eyke Hüllermeier, Heike Wehrheim. 113-123 [doi]
- Generating Counterexamples in the form of Unit Tests from Hoare-style Verification AttemptsAmirfarhad Nilizadeh, Marlon Calvo, Gary T. Leavens, David R. Cok. 124-128 [doi]