A Survey of Infeasible Path Detection Topics: Application Integration Technologies; Software and Systems Development Methodologies; Software Process Improvement In Proceedings of the 7th International Conference on Evaluation of Novel Approaches to Software Engineering ENASE - Volume 1, 43-52, 2012 , Wrocław, Poland