P. Abdulla, M. Atig, G. Delzanno, and A. , Podelsk Push-Down Automata with Gap-Order Constraints, Proc. FSEN 2013
DOI : 10.1007/978-3-642-40213-5_13

A. Bouajjani, J. Esparza, and O. Maler, Reachability analysis of pushdown automata: Application to model-checking, Proc. CONCUR 97, pp.135-150, 1997.
DOI : 10.1007/3-540-63141-0_10

A. Bouajjani, S. Fratani, and S. Qadeer, Context-Bounded Analysis of Multithreaded Programs with Dynamic Linked Structures, Proc. of Computer Aided Verification, 2007.
DOI : 10.1007/978-3-540-73368-3_24

J. Corbett, M. B. Dwyer, J. Hatcliff, S. Laubach, C. S. P?as?p?as? et al., Bandera, Proceedings of the 22nd international conference on Software engineering , ICSE '00, pp.439-448, 2000.
DOI : 10.1145/337180.337234

C. Demartini, R. Iosif, and R. Sisto, A deadlock detection tool for concurrent Java programs. Software -Practice and Experience, pp.577-603, 1999.

D. Distefano, J. Katoen, and A. Rensink, Who is Pointing When to Whom?, Proc. of Int. Conf. on Foundations of Software Technology and Theoretical Computer Science, pp.250-262, 2004.
DOI : 10.1007/978-3-540-30538-5_21

J. Esparza and S. Schwoon, A BDD-Based Model Checker for Recursive Programs, Proc. of Computer Aided Verification, pp.324-336, 2001.
DOI : 10.1007/3-540-44585-4_30

K. Havelund and T. Pressburger, Model checking JAVA programs using JAVA PathFinder, International Journal on Software Tools for Technology Transfer (STTT), vol.2, issue.4, pp.366-381, 2000.
DOI : 10.1007/s100090050043
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.29.7274

M. L. Minsky, Computation: Finite and Infinite Machines, 1967.

D. Park, U. Stern, J. Skakkebaek, and D. Dill, Java model checking, Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering, pp.253-256, 2000.
DOI : 10.1109/ASE.2000.873671

J. Rot, I. M. Asavoae, F. De-boer, M. M. Bonsangue, and D. Lucanu, Interacting via the Heap in the Presence of Recursion, Proc. of the 5th Interaction and Concurrency Experience, pp.99-113, 2012.
DOI : 10.4204/EPTCS.104.9