International Conference on Systems and Control Report [Conference Reports]
- 期刊名称IEEE Control Systems
- 作者Aitouche, Abdelouhab; Mehdi, Driss; Chaabane, Mohamed
- 卷第35卷
- 期第6期
- 印刷ISSN1066-033X
- 文件大小1175.59KB
- 发表时间2015-12
- DOI10.1109/mcs.2015.2471136
- 页码102-103
Symbolic PathFinder v7Luckow, Kasper S.; Păsăreanu, Corina S. · ACM SIGSOFT Software Engineering Notes · 2014
Symbolic Arrays in Symbolic PathFinderFromherz, Aymeric; Luckow, Kasper S.; Păsăreanu, Corina S. · ACM SIGSOFT Software Engineering Notes · 2017
PrefaceCarlos Canal; Corina S. Păsăreanu · 2010
Symbolic execution with abstractionSaswat Anand; Corina S. Păsăreanu; Willem Visser · 2009
Abstract pathfinderKhyzha, Artem; Parízek, Pavel; Păsăreanu, Corina S. · ACM SIGSOFT Software Engineering Notes · 2012
Symbolic quantitative information flowPhan, Quoc-Sang; Malacaria, Pasquale; Tkachuk, Oksana; Păsăreanu, Corina S. · ACM SIGSOFT Software Engineering Notes · 2012
Component Verification with Automatically Generated AssumptionsDimitra Giannakopoulou; Corina S. Păsăreanu; Howard Barringer · 2005
Finding feasible abstract counter-examplesCorina S. Păsăreanu; Matthew B. Dwyer; Willem Visser · 2003