Automating extract class refactoring: an improved method and its evaluation
- 期刊名称Empirical Software Engineering
- 作者Bavota, Gabriele; De Lucia, Andrea; Marcus, Andrian; Oliveto, Rocco
- 卷第19卷
- 期第6期
- 印刷ISSN1382-3256
- 电子ISSN1573-7616
- 文件大小1721.08KB
- 发表时间2014-12
- DOI10.1007/s10664-013-9256-x
- 页码1617-1664
Analysis of Recursively Parallel ProgramsBouajjani, Ahmed; Emmi, Michael · ACM Transactions on Programming Languages and Systems · 2013
Analysis of recursively parallel programsBouajjani, Ahmed; Emmi, Michael · ACM SIGPLAN Notices · 2012
Tractable Refinement Checking for Concurrent ObjectsBouajjani, Ahmed; Emmi, Michael; Enea, Constantin; Hamza, Jad · ACM SIGPLAN Notices · 2015
On reducing linearizability to state reachabilityBouajjani, Ahmed; Emmi, Michael; Enea, Constantin; Hamza, Jad · Information and Computation · 2018
[ACM Press the 39th annual ACM SIGPLAN-SIGACT symposium - Philadelphia, PA, USA (2012.01.25-2012.01.27)] Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '12 - Analysis of recursively parallel programsBouajjani, Ahmed; Emmi, Michael · 2012
[ACM Press the 42nd Annual ACM SIGPLAN-SIGACT Symposium - Mumbai, India (2015.01.15-2015.01.17)] Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '15 - Tractable Refinement Checking for Concurrent ObjectsBouajjani, Ahmed; Emmi, Michael; Enea, Constantin; Hamza, Jad · 2015
Algorithmic program synthesis: introductionBodik, Rastislav; Jobstmann, Barbara · International Journal on Software Tools for Technology Transfer · 2013
Bounded synthesisFinkbeiner, Bernd; Schewe, Sven · International Journal on Software Tools for Technology Transfer · 2013
Program sketchingSolar-Lezama, Armando · International Journal on Software Tools for Technology Transfer · 2013
Synthesis from component librariesLustig, Yoad; Vardi, Moshe Y. · International Journal on Software Tools for Technology Transfer · 2013
Tools for software verificationParosh Aziz Abdulla,K. Rustan M. Leino · International Journal on Software Tools for Technology Transfer · 2013
UppaalSMC tutorialDavid, Alexandre; Larsen, Kim G.; Legay, Axel; Mikučionis, Marius; Poulsen, Danny Bøgsted · International Journal on Software Tools for Technology Transfer · 2015
SPARK 2014 and GNATproveHoang, Duc; Moy, Yannick; Wallenburg, Angela; Chapman, Roderick · International Journal on Software Tools for Technology Transfer · 2014
VerifyThis 2012Huisman, Marieke; Klebanov, Vladimir; Monahan, Rosemary · International Journal on Software Tools for Technology Transfer · 2015