Abstract is missing.
- 5th FME Workshop on Formal Methods in Software Engineering (FormaliSE 2017)Stefania Gnesi, Nico Plat, Hernán C. Melgratti. 1 [doi]
- Efficient SAT-Based Software Analysis: From Automated Testing to Automated Verification and RepairNazareno Aguirre. 2 [doi]
- A Model for Provably Secure Software DesignAlexander van den Berghe, Koen Yskout, Riccardo Scandariato, Wouter Joosen. 3-9 [doi]
- Verifying the Reliability of Operating System-Level Information Flow Control Systems in LinuxLaurent Georget, Mathieu Jaume, Frederic Tronel, Guillaume Piolle, Valérie Viet Triem Tong. 10-16 [doi]
- A Trusted Approach to Design a Network MonitorKoichi Shimizu, Teruyoshi Yamaguchi, Tsunato Nakai, Takeshi Ueda, Nobuhiro Kobayashi, Benoît Boyer. 17-23 [doi]
- Model Checking for Mobile Android Malware EvolutionAniello Cimitile, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Gigliola Vaglini. 24-30 [doi]
- Using BDD and SBVR to Refine Business Goals into an Event-B Model: A Research IdeaFábio Levy Siqueira, Thiago C. de Sousa, Paulo Sérgio Muniz Silva. 31-36 [doi]
- Modeling Families of Public Licensing Services: A Case StudyGuillermina Cledou, Luis Soares Barbosa. 37-43 [doi]
- Formal Verification of ROS-Based Robotic Applications Using Timed-AutomataRaju Halder, José Proença, Nuno Macedo, Andre Santos. 44-50 [doi]
- Featured Weighted AutomataUli Fahrenberg, Axel Legay. 51-57 [doi]
- Correct Safety Critical Hardware Descriptions via Static Analysis and Theorem ProvingNicholas Moore, Mark Lawford. 58-64 [doi]
- A Generic Algorithm for Program RepairBesma Khaireddine, Aleksandr Zakharchenko, Ali Mili. 65-71 [doi]
- Partition-Based Coverage Metrics and Type-Guided Search in Concolic Testing for JavaScript ApplicationsSora Bae, Joonyoung Park, Sukyoung Ryu. 72-78 [doi]