19 citations
- Centre National de la Recherche ScientifiqueFR1 paper
- Ericsson (Sweden)SE1 paper
- Istituto Nazionale di Fisica Nucleare, Sezione di Milano BicoccaIT1 paper
- Justus-Liebig-Universität GießenDE1 paper
- KTH Royal Institute of TechnologySE1 paper
- Mälardalen UniversitySE1 paper
- Umeå UniversitySE1 paper
- Université Joseph FourierFR1 paper
- University of GävleSE1 paper
- University of Milano-BicoccaIT1 paper
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2024★ 2 cited
Formal Verification of Consistency for Systems with Redundant Controllers
Bjarne Johansson, Bahman Pourvatan, Zahra Moezkarimi +2
A potential problem that may arise in the domain of distributed control systems is the existence of more than one primary controller in redundancy plans that may lead to inconsiste…
cs.SE2019
QuickREST: Property-based Test Generation of OpenAPI-Described RESTful APIs
Stefan Karlsson, Adnan Causevic, Daniel Sundmark
RESTful APIs are an increasingly common way to expose software systems functionality and it is therefore of high interest to find methods to automatically test and verify such APIs…