for Journals by Title or ISSN
for Articles by Keywords
help

Publisher: Inderscience Publishers   (Total: 434 journals)

 A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z  

        1 2 3 | Last   [Sort by number of followers]   [Restore default list]

Showing 1 - 200 of 434 Journals sorted alphabetically
African J. of Accounting, Auditing and Finance     Hybrid Journal   (Followers: 12)
African J. of Economic and Sustainable Development     Hybrid Journal   (Followers: 14)
Afro-Asian J. of Finance and Accounting     Hybrid Journal   (Followers: 7, SJR: 0.205, h-index: 3)
American J. of Finance and Accounting     Hybrid Journal   (Followers: 21)
Asian J. of Management Science and Applications     Hybrid Journal   (Followers: 4)
Atoms for Peace: an Intl. J.     Hybrid Journal   (Followers: 3, SJR: 0.103, h-index: 1)
Electronic Government, an Intl. J.     Hybrid Journal   (Followers: 17, SJR: 0.185, h-index: 23)
EuroMed J. of Management     Hybrid Journal  
European J. of Cross-Cultural Competence and Management     Hybrid Journal   (Followers: 7)
European J. of Industrial Engineering     Hybrid Journal   (Followers: 9, SJR: 0.987, h-index: 16)
European J. of Intl. Management     Hybrid Journal   (Followers: 1, SJR: 0.258, h-index: 10)
Global Business and Economics Review     Hybrid Journal   (Followers: 1, SJR: 0.13, h-index: 7)
Interdisciplinary Environmental Review     Hybrid Journal   (Followers: 3)
Intl. J. of Abrasive Technology     Hybrid Journal   (Followers: 2, SJR: 0.207, h-index: 10)
Intl. J. of Accounting and Finance     Hybrid Journal   (Followers: 14)
Intl. J. of Accounting, Auditing and Performance Evaluation     Hybrid Journal   (Followers: 14, SJR: 0.143, h-index: 9)
Intl. J. of Ad Hoc and Ubiquitous Computing     Hybrid Journal   (Followers: 8, SJR: 0.245, h-index: 13)
Intl. J. of Adaptive and Innovative Systems     Hybrid Journal   (Followers: 1)
Intl. J. of Additive and Subtractive Materials Manufacturing     Hybrid Journal   (Followers: 4)
Intl. J. of Advanced Intelligence Paradigms     Hybrid Journal   (Followers: 3, SJR: 0.39, h-index: 5)
Intl. J. of Advanced Mechatronic Systems     Hybrid Journal   (Followers: 2, SJR: 0.212, h-index: 7)
Intl. J. of Advanced Media and Communication     Hybrid Journal   (Followers: 21, SJR: 0.103, h-index: 9)
Intl. J. of Advanced Operations Management     Hybrid Journal   (Followers: 8, SJR: 0.24, h-index: 4)
Intl. J. of Aerodynamics     Hybrid Journal   (Followers: 24)
Intl. J. of Agent-Oriented Software Engineering     Hybrid Journal   (Followers: 3)
Intl. J. of Agile and Extreme Software Development     Hybrid Journal   (Followers: 5)
Intl. J. of Agile Systems and Management     Hybrid Journal   (Followers: 6, SJR: 0.212, h-index: 8)
Intl. J. of Agricultural Resources, Governance and Ecology     Hybrid Journal   (Followers: 2, SJR: 0.125, h-index: 17)
Intl. J. of Alternative Propulsion     Hybrid Journal   (Followers: 8, SJR: 0.103, h-index: 9)
Intl. J. of Applied Cryptography     Hybrid Journal   (Followers: 10, SJR: 0.401, h-index: 9)
Intl. J. of Applied Decision Sciences     Hybrid Journal   (Followers: 1, SJR: 0.455, h-index: 11)
Intl. J. of Applied Management Science     Hybrid Journal   (Followers: 4, SJR: 0.369, h-index: 10)
Intl. J. of Applied Nonlinear Science     Hybrid Journal   (Followers: 1)
Intl. J. of Applied Pattern Recognition     Hybrid Journal   (Followers: 5)
Intl. J. of Applied Systemic Studies     Hybrid Journal   (SJR: 0.138, h-index: 5)
Intl. J. of Arab Culture, Management and Sustainable Development     Hybrid Journal   (Followers: 7)
Intl. J. of Artificial Intelligence and Soft Computing     Hybrid Journal   (Followers: 10)
Intl. J. of Arts and Technology     Hybrid Journal   (Followers: 6, SJR: 0.114, h-index: 10)
Intl. J. of Auditing Technology     Hybrid Journal   (Followers: 5)
Intl. J. of Automation and Control     Hybrid Journal   (Followers: 8, SJR: 0.297, h-index: 7)
Intl. J. of Automation and Logistics     Hybrid Journal   (Followers: 5)
Intl. J. of Automotive Composites     Hybrid Journal   (Followers: 3)
Intl. J. of Automotive Technology and Management     Hybrid Journal   (Followers: 6, SJR: 0.356, h-index: 15)
Intl. J. of Autonomic Computing     Hybrid Journal   (Followers: 1)
Intl. J. of Autonomous and Adaptive Communications Systems     Hybrid Journal   (Followers: 3, SJR: 0.125, h-index: 10)
Intl. J. of Aviation Management     Hybrid Journal   (Followers: 5)
Intl. J. of Banking, Accounting and Finance     Hybrid Journal   (Followers: 13, SJR: 0.153, h-index: 5)
Intl. J. of Behavioural Accounting and Finance     Hybrid Journal   (Followers: 8)
Intl. J. of Behavioural and Healthcare Research     Hybrid Journal   (Followers: 8)
Intl. J. of Bibliometrics in Business and Management     Hybrid Journal   (Followers: 2)
Intl. J. of Big Data Intelligence     Hybrid Journal   (Followers: 18)
Intl. J. of Bio-Inspired Computation     Hybrid Journal   (Followers: 1, SJR: 0.77, h-index: 25)
Intl. J. of Bioinformatics Research and Applications     Hybrid Journal   (Followers: 13, SJR: 0.231, h-index: 13)
Intl. J. of Biomechatronics and Biomedical Robotics     Hybrid Journal   (Followers: 4)
Intl. J. of Biomedical Engineering and Technology     Hybrid Journal   (Followers: 4, SJR: 0.213, h-index: 10)
Intl. J. of Biomedical Nanoscience and Nanotechnology     Hybrid Journal   (Followers: 6)
Intl. J. of Biometrics     Hybrid Journal   (Followers: 4, SJR: 0.244, h-index: 10)
Intl. J. of Biotechnology     Hybrid Journal   (Followers: 5, SJR: 0.128, h-index: 15)
Intl. J. of Bonds and Derivatives     Hybrid Journal   (Followers: 1)
Intl. J. of Business and Emerging Markets     Hybrid Journal   (Followers: 2)
Intl. J. of Business and Globalisation     Hybrid Journal   (Followers: 2, SJR: 0.21, h-index: 7)
Intl. J. of Business and Systems Research     Hybrid Journal   (Followers: 1, SJR: 0.205, h-index: 11)
Intl. J. of Business Competition and Growth     Hybrid Journal   (Followers: 5)
Intl. J. of Business Continuity and Risk Management     Hybrid Journal   (Followers: 13)
Intl. J. of Business Environment     Hybrid Journal   (Followers: 2)
Intl. J. of Business Excellence     Hybrid Journal   (Followers: 3, SJR: 0.333, h-index: 12)
Intl. J. of Business Forecasting and Marketing Intelligence     Hybrid Journal   (Followers: 6)
Intl. J. of Business Governance and Ethics     Hybrid Journal   (Followers: 4, SJR: 0.222, h-index: 8)
Intl. J. of Business Information Systems     Hybrid Journal   (Followers: 15, SJR: 0.264, h-index: 18)
Intl. J. of Business Innovation and Research     Hybrid Journal   (Followers: 10, SJR: 0.273, h-index: 13)
Intl. J. of Business Intelligence and Data Mining     Hybrid Journal   (Followers: 30, SJR: 0.196, h-index: 13)
Intl. J. of Business Intelligence and Systems Engineering     Hybrid Journal  
Intl. J. of Business Performance and Supply Chain Modelling     Hybrid Journal   (Followers: 16)
Intl. J. of Business Performance Management     Hybrid Journal   (Followers: 8, SJR: 0.194, h-index: 15)
Intl. J. of Business Process Integration and Management     Hybrid Journal   (Followers: 12, SJR: 0.172, h-index: 15)
Intl. J. of Chinese Culture and Management     Hybrid Journal   (Followers: 4)
Intl. J. of Circuits and Architecture Design     Hybrid Journal   (Followers: 6)
Intl. J. of Cloud Computing     Hybrid Journal   (Followers: 25)
Intl. J. of Cognitive Biometrics     Hybrid Journal   (Followers: 2)
Intl. J. of Cognitive Performance Support     Hybrid Journal   (Followers: 3)
Intl. J. of Collaborative Engineering     Hybrid Journal  
Intl. J. of Collaborative Enterprise     Hybrid Journal  
Intl. J. of Collaborative Intelligence     Hybrid Journal   (Followers: 1)
Intl. J. of Communication Networks and Distributed Systems     Hybrid Journal   (Followers: 7, SJR: 0.262, h-index: 9)
Intl. J. of Comparative Management     Hybrid Journal  
Intl. J. of Competitiveness     Hybrid Journal   (Followers: 2)
Intl. J. of Complexity in Applied Science and Technology     Hybrid Journal  
Intl. J. of Complexity in Leadership and Management     Hybrid Journal   (Followers: 28)
Intl. J. of Computational Biology and Drug Design     Hybrid Journal   (Followers: 1, SJR: 0.272, h-index: 8)
Intl. J. of Computational Complexity and Intelligent Algorithms     Hybrid Journal   (Followers: 1)
Intl. J. of Computational Economics and Econometrics     Hybrid Journal   (Followers: 3)
Intl. J. of Computational Intelligence in Bioinformatics and Systems Biology     Hybrid Journal   (Followers: 10)
Intl. J. of Computational Intelligence Studies     Hybrid Journal   (Followers: 2)
Intl. J. of Computational Materials Science and Surface Engineering     Hybrid Journal   (Followers: 6, SJR: 0.159, h-index: 6)
Intl. J. of Computational Science and Engineering     Hybrid Journal   (Followers: 1, SJR: 0.34, h-index: 12)
Intl. J. of Computational Systems Engineering     Hybrid Journal   (Followers: 1)
Intl. J. of Computational Vision and Robotics     Hybrid Journal   (Followers: 4, SJR: 0.123, h-index: 4)
Intl. J. of Computer Aided Engineering and Technology     Hybrid Journal   (Followers: 2, SJR: 0.112, h-index: 7)
Intl. J. of Computer Applications in Technology     Hybrid Journal   (Followers: 2, SJR: 0.309, h-index: 20)
Intl. J. of Computers in Healthcare     Hybrid Journal   (Followers: 2)
Intl. J. of Computing Science and Mathematics     Hybrid Journal   (Followers: 1, SJR: 0.385, h-index: 10)
Intl. J. of Continuing Engineering Education and Life-Long Learning     Hybrid Journal   (Followers: 3, SJR: 0.217, h-index: 16)
Intl. J. of Convergence Computing     Hybrid Journal   (Followers: 1)
Intl. J. of Corporate Governance     Hybrid Journal   (Followers: 4)
Intl. J. of Corporate Strategy and Social Responsibility     Hybrid Journal   (Followers: 3)
Intl. J. of Creative Computing     Hybrid Journal   (Followers: 1)
Intl. J. of Critical Accounting     Hybrid Journal   (Followers: 2)
Intl. J. of Critical Computer-Based Systems     Hybrid Journal   (SJR: 0.22, h-index: 6)
Intl. J. of Critical Infrastructures     Hybrid Journal   (Followers: 2, SJR: 0.277, h-index: 18)
Intl. J. of Data Analysis Techniques and Strategies     Hybrid Journal   (Followers: 3, SJR: 0.381, h-index: 10)
Intl. J. of Data Mining and Bioinformatics     Hybrid Journal   (Followers: 15, SJR: 0.289, h-index: 13)
Intl. J. of Data Mining, Modelling and Management     Hybrid Journal   (Followers: 13, SJR: 0.152, h-index: 8)
Intl. J. of Data Science     Hybrid Journal   (Followers: 8)
Intl. J. of Decision Sciences, Risk and Management     Hybrid Journal   (Followers: 9)
Intl. J. of Decision Support Systems     Hybrid Journal  
Intl. J. of Design Engineering     Hybrid Journal   (Followers: 12)
Intl. J. of Digital Culture and Electronic Tourism     Hybrid Journal   (Followers: 5)
Intl. J. of Digital Signals and Smart Systems     Hybrid Journal  
Intl. J. of Diplomacy and Economy     Hybrid Journal   (Followers: 5)
Intl. J. of Dynamical Systems and Differential Equations     Hybrid Journal   (Followers: 1, SJR: 0.173, h-index: 9)
Intl. J. of Earthquake and Impact Engineering     Hybrid Journal   (Followers: 4)
Intl. J. of Economic Policy in Emerging Economies     Hybrid Journal   (Followers: 2, SJR: 0.228, h-index: 5)
Intl. J. of Economics and Accounting     Hybrid Journal   (Followers: 1)
Intl. J. of Economics and Business Research     Hybrid Journal   (Followers: 3, SJR: 0.102, h-index: 1)
Intl. J. of Education Economics and Development     Hybrid Journal   (Followers: 5, SJR: 0.193, h-index: 2)
Intl. J. of Electric and Hybrid Vehicles     Hybrid Journal   (Followers: 9, SJR: 0.234, h-index: 9)
Intl. J. of Electronic Banking     Hybrid Journal   (Followers: 5)
Intl. J. of Electronic Business     Hybrid Journal   (Followers: 1)
Intl. J. of Electronic Customer Relationship Management     Hybrid Journal   (Followers: 2, SJR: 0.192, h-index: 8)
Intl. J. of Electronic Democracy     Hybrid Journal   (Followers: 1)
Intl. J. of Electronic Finance     Hybrid Journal   (Followers: 4, SJR: 0.2, h-index: 1)
Intl. J. of Electronic Governance     Hybrid Journal   (SJR: 0.383, h-index: 9)
Intl. J. of Electronic Healthcare     Hybrid Journal   (Followers: 2, SJR: 0.195, h-index: 18)
Intl. J. of Electronic Marketing and Retailing     Hybrid Journal   (Followers: 7, SJR: 0.148, h-index: 7)
Intl. J. of Electronic Security and Digital Forensics     Hybrid Journal   (Followers: 9, SJR: 0.221, h-index: 8)
Intl. J. of Embedded Systems     Hybrid Journal   (Followers: 5, SJR: 0.252, h-index: 9)
Intl. J. of Emergency Management     Hybrid Journal   (Followers: 11, SJR: 0.492, h-index: 17)
Intl. J. of Energy Technology and Policy     Hybrid Journal   (Followers: 7, SJR: 0.131, h-index: 11)
Intl. J. of Engineering Management and Economics     Hybrid Journal   (Followers: 4)
Intl. J. of Engineering Systems Modelling and Simulation     Hybrid Journal   (Followers: 9, SJR: 0.192, h-index: 9)
Intl. J. of Enterprise Network Management     Hybrid Journal   (SJR: 0.118, h-index: 6)
Intl. J. of Entrepreneurial Venturing     Hybrid Journal   (Followers: 1, SJR: 0.213, h-index: 7)
Intl. J. of Entrepreneurship and Innovation Management     Hybrid Journal   (Followers: 27, SJR: 0.238, h-index: 15)
Intl. J. of Entrepreneurship and Small Business     Hybrid Journal   (Followers: 26, SJR: 0.294, h-index: 16)
Intl. J. of Environment and Health     Hybrid Journal   (Followers: 5, SJR: 0.147, h-index: 10)
Intl. J. of Environment and Pollution     Hybrid Journal   (Followers: 2, SJR: 0.241, h-index: 35)
Intl. J. of Environment and Sustainable Development     Hybrid Journal   (Followers: 15, SJR: 0.142, h-index: 14)
Intl. J. of Environment and Waste Management     Hybrid Journal   (Followers: 4, SJR: 0.142, h-index: 11)
Intl. J. of Environment, Workplace and Employment     Hybrid Journal   (Followers: 3)
Intl. J. of Environmental Engineering     Hybrid Journal   (Followers: 5)
Intl. J. of Environmental Policy and Decision Making     Hybrid Journal   (Followers: 3)
Intl. J. of Environmental Technology and Management     Hybrid Journal   (Followers: 1, SJR: 0.13, h-index: 15)
Intl. J. of Exergy     Hybrid Journal   (Followers: 2, SJR: 0.667, h-index: 20)
Intl. J. of Experimental and Computational Biomechanics     Hybrid Journal   (Followers: 8)
Intl. J. of Experimental Design and Process Optimisation     Hybrid Journal   (Followers: 5)
Intl. J. of Export Marketing     Hybrid Journal   (Followers: 2)
Intl. J. of Financial Engineering and Risk Management     Hybrid Journal   (Followers: 4)
Intl. J. of Financial Innovation in Banking     Hybrid Journal   (Followers: 3)
Intl. J. of Financial Markets and Derivatives     Hybrid Journal   (Followers: 4)
Intl. J. of Financial Services Management     Hybrid Journal   (Followers: 1)
Intl. J. of Food Safety, Nutrition and Public Health     Hybrid Journal   (Followers: 15)
Intl. J. of Forensic Engineering     Hybrid Journal   (Followers: 2)
Intl. J. of Forensic Engineering and Management     Hybrid Journal   (Followers: 3)
Intl. J. of Foresight and Innovation Policy     Hybrid Journal   (Followers: 5, SJR: 0.219, h-index: 14)
Intl. J. of Functional Informatics and Personalised Medicine     Hybrid Journal   (Followers: 4, SJR: 0.101, h-index: 7)
Intl. J. of Fuzzy Computation and Modelling     Hybrid Journal   (Followers: 2)
Intl. J. of Gender Studies in Developing Societies     Hybrid Journal   (Followers: 4)
Intl. J. of Global Energy Issues     Hybrid Journal   (Followers: 9, SJR: 0.18, h-index: 19)
Intl. J. of Global Environmental Issues     Hybrid Journal   (Followers: 2, SJR: 0.149, h-index: 15)
Intl. J. of Global Warming     Hybrid Journal   (Followers: 2, SJR: 0.431, h-index: 10)
Intl. J. of Globalisation and Small Business     Hybrid Journal   (Followers: 11, SJR: 0.293, h-index: 9)
Intl. J. of Governance and Financial Intermediation     Hybrid Journal  
Intl. J. of Granular Computing, Rough Sets and Intelligent Systems     Hybrid Journal   (Followers: 2)
Intl. J. of Green Economics     Hybrid Journal   (Followers: 3, SJR: 0.148, h-index: 10)
Intl. J. of Grid and Utility Computing     Hybrid Journal   (SJR: 0.235, h-index: 8)
Intl. J. of Happiness and Development     Hybrid Journal   (Followers: 7)
Intl. J. of Healthcare Technology and Management     Hybrid Journal   (Followers: 7, SJR: 0.155, h-index: 13)
Intl. J. of Heavy Vehicle Systems     Hybrid Journal   (Followers: 7, SJR: 0.154, h-index: 15)
Intl. J. of High Performance Computing and Networking     Hybrid Journal   (Followers: 4, SJR: 0.362, h-index: 10)
Intl. J. of High Performance Systems Architecture     Hybrid Journal   (Followers: 6, SJR: 0.301, h-index: 7)
Intl. J. of Higher Education and Sustainability     Hybrid Journal   (Followers: 5)
Intl. J. of Hospitality and Event Management     Hybrid Journal   (Followers: 4)
Intl. J. of Human Factors and Ergonomics     Hybrid Journal   (Followers: 16)
Intl. J. of Human Factors Modelling and Simulation     Hybrid Journal   (Followers: 13)
Intl. J. of Human Resources Development and Management     Hybrid Journal   (Followers: 25, SJR: 0.148, h-index: 11)
Intl. J. of Human Rights and Constitutional Studies     Hybrid Journal   (Followers: 13)
Intl. J. of Humanitarian Technology     Hybrid Journal  
Intl. J. of Hydrology Science and Technology     Hybrid Journal   (Followers: 5, SJR: 0.181, h-index: 3)
Intl. J. of Hydromechatronics     Hybrid Journal  
Intl. J. of Image Mining     Hybrid Journal   (Followers: 1)
Intl. J. of Immunological Studies     Hybrid Journal   (Followers: 1)
Intl. J. of Indian Culture and Business Management     Hybrid Journal  
Intl. J. of Industrial and Systems Engineering     Hybrid Journal   (Followers: 11, SJR: 0.433, h-index: 19)
Intl. J. of Industrial Electronics and Drives     Hybrid Journal   (Followers: 4)
Intl. J. of Information and Coding Theory     Hybrid Journal   (Followers: 6)
Intl. J. of Information and Communication Technology     Hybrid Journal   (Followers: 8, SJR: 0.144, h-index: 5)
Intl. J. of Information and Computer Security     Hybrid Journal   (Followers: 18, SJR: 0.134, h-index: 8)
Intl. J. of Information and Decision Sciences     Hybrid Journal   (Followers: 10, SJR: 0.323, h-index: 10)
Intl. J. of Information and Operations Management Education     Hybrid Journal   (Followers: 8)
Intl. J. of Information Privacy, Security and Integrity     Hybrid Journal   (Followers: 25)

        1 2 3 | Last   [Sort by number of followers]   [Restore default list]

Journal Cover International Journal of Critical Computer-Based Systems
  [SJR: 0.22]   [H-I: 6]   [0 followers]  Follow
    
   Hybrid Journal Hybrid journal (It can contain Open Access articles)
   ISSN (Print) 1757-8779 - ISSN (Online) 1757-8787
   Published by Inderscience Publishers Homepage  [434 journals]
  • A formal verification of dynamic updating in a Java-based embedded
           system
    • Authors: Razika Lounas, Mohamed Mezghiche, Jean-Louis Lanet
      Pages: 303 - 340
      Abstract: Dynamic software updating (DSU) consists in updating running programs on the fly without any downtime. This feature is interesting in critical applications that must run continuously. Because updates may lead to safety errors and security breaches, the question of their correctness is raised. Formal methods are a rigorous means to ensure the correctness required by applications using DSU. In this paper, we present a formal verification of correctness of DSU in a Java-based embedded system. Our approach is based on three major contributions. First, a formal interpretation of the semantic of update operations to ensure type safety of the update. Secondly, we rely on a functional representation of bytecode, the predicate transformation calculus and a functional model of the update mechanism to ensure the behavioural correctness of the updated programs. It is based on the use of Hoare predicate transformation to derive a specification of an updated bytecode. Thirdly, we use the functional representation to model the safe update point detection mechanism. This mechanism guarantees that none of the updated methods are active. This property is called activeness safety. We propose a functional specification that allows to derive proof obligations that guarantee the safety of the mechanism.
      Keywords: dynamic software updating; DSU; formal verification; weakest precondition calculus; dynamic update safety; critical systems
      Citation: International Journal of Critical Computer-Based Systems, Vol. 7, No. 4 (2017) pp. 303 - 340
      PubDate: 2018-02-26T23:20:50-05:00
      DOI: 10.1504/IJCCBS.2017.089976
      Issue No: Vol. 7, No. 4 (2018)
       
  • A methodological approach for checking safety-critical systems
           software
    • Authors: Luis E. Mendoza, Manuel I. Capel
      Pages: 341 - 368
      Abstract: The complexity of modern <i>safety-critical systems</i> together with the absence of appropriate software verification tools is one reason for the large number of errors in the design and implementation of these systems. A methodological approach named <i>formal compositional verification approach</i> that uses <i>model checking</i> techniques to verify safety-critical systems software is presented. This approach facilitates decomposition of complex safety-critical systems software into independently verified individual software components, and establishes a compositional method to verify these systems using state-of-the-art model checkers. Our objective in this paper is to facilitate the description of a safety-critical system software as a collection of verified software components, allowing the software verification of complex safety-critical systems. An application on a real-life software project in the field of mobile phone communication is discussed to demonstrate the applicability of the proposed approach.
      Keywords: critical computer-based systems; methodological approach; safety-critical systems software; model checking; software verification; software specification; compositional verification
      Citation: International Journal of Critical Computer-Based Systems, Vol. 7, No. 4 (2017) pp. 341 - 368
      PubDate: 2018-02-26T23:20:50-05:00
      DOI: 10.1504/IJCCBS.2017.089985
      Issue No: Vol. 7, No. 4 (2018)
       
  • Software semantics and syntax as a tool for automated test generation
    • Authors: Nadia Nahar, Kazi Sakib
      Pages: 369 - 396
      Abstract: Test automation saves time and cost by digitising test generation and execution. The existing techniques fail to produce effective and compliable test scripts for not considering both syntactic and semantic information. The proposed three-layer architecture incorporates these information for generation of proper test scripts. It analyses the source code for extracting syntax and UML diagrams for obtaining semantics. Class methods and sequence of calls are extracted from UMLs, and syntax for class instantiations and method calls are accumulated from source code to generate unit and integration tests. A case study as well as experiments, conducted on sample Java projects, conform the competence of the generation process along with the generated test scripts.
      Keywords: software testing; test automation; automatic test generation; unit testing; integration testing
      Citation: International Journal of Critical Computer-Based Systems, Vol. 7, No. 4 (2017) pp. 369 - 396
      PubDate: 2018-02-26T23:20:50-05:00
      DOI: 10.1504/IJCCBS.2017.089987
      Issue No: Vol. 7, No. 4 (2018)
       
 
 
JournalTOCs
School of Mathematical and Computer Sciences
Heriot-Watt University
Edinburgh, EH14 4AS, UK
Email: journaltocs@hw.ac.uk
Tel: +00 44 (0)131 4513762
Fax: +00 44 (0)131 4513327
 
About JournalTOCs
API
Help
News (blog, publications)
JournalTOCs on Twitter   JournalTOCs on Facebook

JournalTOCs © 2009-