default search action
Science of Computer Programming, Volume 206
Volume 206, June 2021
- Weigang He, Jianqi Shi, Ting Su, Zeyu Lu, Li Hao, Yanhong Huang:
Automated test generation for IEC 61131-3 ST programs via dynamic symbolic execution. 102608
- Lenz Belzner, Martin Wirsing:
Synthesizing safe policies under probabilistic constraints with reinforcement learning and Bayesian model checking. 102620
- Kim G. Larsen, Oleg Sokolsky, Ji Wang:
Preface to the Special Issue on Dependable Software Engineering: Theories, Tools and Applications (SETTA 2017). 102622
- Florian Kammüller, Manfred Kerber:
Applying the Isabelle Insider framework to airplane security. 102623 - Ning Ge, Silvano Dal-Zilio, Hongyu Liu, Li Zhang, Lianyi Zhang:
RT-MOBS: A compositional observer semantics of time Petri net for real-time property specification language based on μ-calculus. 102624 - Kai Hu, Teng Zhang, Yi Ding, Jian Zhu, Jean-Pierre Talpin:
Verification of concurrent code from synchronous specifications. 102625
- Hossein Hojjat, Mieke Massink:
Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2019). 102626
- William Ravelo-Méndez, Camilo Escobar-Velásquez, Mario Linares-Vásquez:
Kraken: A framework for enabling multi-device interaction-based testing of Android apps. 102627 - Nystrom Edwards, Dhitiwat Jongsuebchoke, Tim Storer:
Sciit: Embedding issue tracking in source control management. 102628
- Thibaud L'Yvonnet, Elisabetta De Maria, Sabine Moisan, Jean-Paul Rigault:
Probabilistic model checking for human activity recognition in medical serious games. 102629
- Kazumasa Shimari, Takashi Ishio, Tetsuya Kanda, Naoto Ishida, Katsuro Inoue:
NOD4J: Near-omniscient debugging tool for Java using size-limited execution trace. 102630
- Nacha Chondamrongkul, Jing Sun, Ian Warren:
Formal security analysis for software architecture design: An expressive framework to emerging architectural styles. 102631
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.