Vol.12 No.2, 2018

Articles

• A Constraint-Based Verification Approach for Java Bytecode Programs

  Safaa Achour, Ali Chouenyib, Mohammed Benattou

  01 - 16

  • Requires Subscription PDF

• Survey of the Bug Localisation Techniques

  Kavya Shree N S, Pushpalatha M N

  17 - 30

  • Requires Subscription PDF

• Mathematical Model and Algorithms for some Type of Concurrency Control Problems in Database Applications

  Moukouop Nguena Ibrahim, Ngassa Kaam Cedric

  31 - 46

  • Requires Subscription PDF