Abstract is missing.
- Intelligent Software Engineering: Synergy Between AI and Software EngineeringTao Xie. 3-7 [doi]
- Automatic Support of the Generation and Maintenance of Assurance CasesChung-Ling Lin, Wuwei Shen, Tao Yue, Guangyuan Li. 11-28 [doi]
- Correct-by-Construction Implementation of Runtime Monitors Using Stepwise RefinementTeng Zhang, John Wiegley, Theophilos Giannakopoulos, Gregory Eakman, Clément Pit-Claudel, Insup Lee, Oleg Sokolsky. 31-49 [doi]
- Identifying Microservices Using Functional DecompositionShmuel S. Tyszberowicz, Robert Heinrich, Bo Liu, Zhiming Liu. 50-65 [doi]
- Robust Non-termination Analysis of Numerical SoftwareBai Xue 0001, Naijun Zhan, Yangjia Li, Qiuye Wang. 69-88 [doi]
- Developing GUI Applications in a Verified SettingStephan Adelsberger, Anton Setzer, Eric Walkingshaw. 89-107 [doi]
- Interleaving-Tree Based Fine-Grained Linearizability Fault LocalizationYang Chen, Zhenya Zhang, Peng Wu, Yu Zhang. 108-126 [doi]
- Improvement in JavaMOP by Simplifying Büchi AutomatonJunyan Qian, Cong Chen, Wei Cao, Zhongyi Zhai, Lingzhong Zhao. 129-134 [doi]
- Developing A New Language to Construct Algebraic Hierarchies for Event-BJames Snook, Michael J. Butler, Thai Son Hoang. 135-141 [doi]
- Towards the Existential Control of Boolean Networks: A Preliminary ReportSoumya Paul, Jun Pang, Cui Su. 142-149 [doi]
- Statistical Model Checking of Response Times for Different System DeploymentsBernhard K. Aichernig, Severin Kann, Richard Schumi. 153-169 [doi]
- Probabilistic Analysis of Timing Constraints in Autonomous Automotive Systems Using Simulink Design VerifierEun-Young Kang, Li Huang. 170-186 [doi]
- Mixed-Criticality Scheduling with Limited HI-Criticality BehaviorsZhishan Guo, Luca Santinelli, Kecheng Yang. 187-199 [doi]