A great place to work!? Understanding crowdsourced employer branding
- 期刊名称Business Horizons
- 作者Dabirian, Amir; Kietzmann, Jan; Diba, Hoda
- 卷第60卷
- 期第2期
- 印刷ISSN0007-6813
- 文件大小585.69KB
- 发表时间2017-03
- DOI10.1016/j.bushor.2016.11.005
- 页码197-205
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