PDF Software Engineering Research and Practice 1st Edition Hamid R. Arabnia download
PDF Software Engineering Research and Practice 1st Edition Hamid R. Arabnia download
com
https://ebookname.com/product/software-engineering-research-
and-practice-1st-edition-hamid-r-arabnia/
OR CLICK HERE
DOWLOAD NOW
https://ebookname.com/product/information-and-knowledge-
engineering-1st-edition-hamid-r-arabnia-2/
ebookname.com
https://ebookname.com/product/information-and-knowledge-
engineering-1st-edition-hamid-r-arabnia/
ebookname.com
https://ebookname.com/product/frontiers-in-education-computer-science-
and-computer-engineering-1st-edition-hamid-r-arabnia/
ebookname.com
https://ebookname.com/product/playing-america-s-game-first-edition-
adrian-burgos/
ebookname.com
Cinema 4D R14 Cookbook 2nd edition Simon Russell
https://ebookname.com/product/cinema-4d-r14-cookbook-2nd-edition-
simon-russell/
ebookname.com
https://ebookname.com/product/the-invention-of-journalism-ethics-
second-edition-the-path-to-objectivity-and-beyond-stephen-j-a-ward/
ebookname.com
https://ebookname.com/product/long-non-coding-rnas-in-cancer-1st-
edition-alfons-navarro-editor/
ebookname.com
Talk for Writing in the Early Years How to Teach Story and
Rhyme Involving Families 2 5 Years Pie Corbett
https://ebookname.com/product/talk-for-writing-in-the-early-years-how-
to-teach-story-and-rhyme-involving-families-2-5-years-pie-corbett/
ebookname.com
https://ebookname.com/product/fuel-processing-for-fuel-
cells-1-auflage-edition-gunther-kolb/
ebookname.com
A Maritime Archaeology of Ships Innovation and Social
Change in Medieval and Early Modern Europe 1st Edition
Jonathan Adams.
https://ebookname.com/product/a-maritime-archaeology-of-ships-
innovation-and-social-change-in-medieval-and-early-modern-europe-1st-
edition-jonathan-adams/
ebookname.com
PROCEEDINGS OF
THE 2017 INTERNATIONAL CONFERENCE ON
SOFTWARE ENGINEERING RESEARCH & PRACTICE
Editors
Hamid R. Arabnia
Leonidas Deligiannidis, Fernando G. Tinetti
Associate Editors
Lamia Atma Djoudi, Ashu M. G. Solo
CSCE’17
July 17-20, 2017
Las Vegas Nevada, USA
americancse.org
©
CSREA Press
This volume contains papers presented at The 2017 International Conference on Software
Engineering Research & Practice (SERP'17). Their inclusion in this publication does not
necessarily constitute endorsements by editors or by the publisher.
Copying without a fee is permitted provided that the copies are not made or distributed for direct
commercial advantage, and credit to source is given. Abstracting is permitted with credit to the
source. Please contact the publisher for other copying, reprint, or republication permission.
©
Copyright 2017 CSREA Press
ISBN: 1-60132-468-5
Printed in the United States of America
Foreword
It gives us great pleasure to introduce this collection of papers to be presented at the 2017 International
Conference on Software Engineering Research and Practice (SERP’17), July 17-20, 2017, at Monte Carlo
Resort, Las Vegas, USA.
An important mission of the World Congress in Computer Science, Computer Engineering, and Applied
Computing, CSCE (a federated congress to which this conference is affiliated with) includes "Providing a
unique platform for a diverse community of constituents composed of scholars, researchers, developers,
educators, and practitioners. The Congress makes concerted effort to reach out to participants affiliated
with diverse entities (such as: universities, institutions, corporations, government agencies, and research
centers/labs) from all over the world. The congress also attempts to connect participants from institutions
that have teaching as their main mission with those who are affiliated with institutions that have research
as their main mission. The congress uses a quota system to achieve its institution and geography diversity
objectives." By any definition of diversity, this congress is among the most diverse scientific meeting in
USA. We are proud to report that this federated congress has authors and participants from 64 different
nations representing variety of personal and scientific experiences that arise from differences in culture and
values. As can be seen (see below), the program committee of this conference as well as the program
committee of all other tracks of the federated congress are as diverse as its authors and participants.
The program committee would like to thank all those who submitted papers for consideration. About 65%
of the submissions were from outside the United States. Each submitted paper was peer-reviewed by two
experts in the field for originality, significance, clarity, impact, and soundness. In cases of contradictory
recommendations, a member of the conference program committee was charged to make the final decision;
often, this involved seeking help from additional referees. In addition, papers whose authors included a
member of the conference program committee were evaluated using the double-blinded review process.
One exception to the above evaluation process was for papers that were submitted directly to
chairs/organizers of pre-approved sessions/workshops; in these cases, the chairs/organizers were
responsible for the evaluation of such submissions. The overall paper acceptance rate for regular papers
was 26%; 20% of the remaining papers were accepted as poster papers (at the time of this writing, we had
not yet received the acceptance rate for a couple of individual tracks.)
We are very grateful to the many colleagues who offered their services in organizing the conference. In
particular, we would like to thank the members of Program Committee of SERP’17, members of the
congress Steering Committee, and members of the committees of federated congress tracks that have topics
within the scope of SERP. Many individuals listed below, will be requested after the conference to provide
their expertise and services for selecting papers for publication (extended versions) in journal special
issues as well as for publication in a set of research books (to be prepared for publishers including:
Springer, Elsevier, BMC journals, and others).
• Prof. Afrand Agah; Department of Computer Science, West Chester University of Pennsylvania, West
Chester, PA, USA
• Prof. Nizar Al-Holou (Congress Steering Committee); Professor and Chair, Electrical and Computer
Engineering Department; Vice Chair, IEEE/SEM-Computer Chapter; University of Detroit Mercy, Detroit,
Michigan, USA
• Prof. Hamid R. Arabnia (Congress Steering Committee); Graduate Program Director (PhD, MS, MAMS);
The University of Georgia, USA; Editor-in-Chief, Journal of Supercomputing (Springer); Fellow, Center of
Excellence in Terrorism, Resilience, Intelligence & Organized Crime Research (CENTRIC).
• Dr. Travis Atkison; Director, Digital Forensics and Control Systems Security Lab, Department of Computer
Science, College of Engineering, The University of Alabama, Tuscaloosa, Alabama, USA
• Prof. Dr. Juan-Vicente Capella-Hernandez; Universitat Politecnica de Valencia (UPV), Department of
Computer Engineering (DISCA), Valencia, Spain
• Prof. Kevin Daimi (Congress Steering Committee); Director, Computer Science and Software Engineering
Programs, Department of Mathematics, Computer Science and Software Engineering, University of Detroit
Mercy, Detroit, Michigan, USA
• Prof. Zhangisina Gulnur Davletzhanovna; Vice-rector of the Science, Central-Asian University, Kazakhstan,
Almaty, Republic of Kazakhstan; Vice President of International Academy of Informatization, Kazskhstan,
Almaty, Republic of Kazakhstan
• Prof. Leonidas Deligiannidis (Congress Steering Committee); Department of Computer Information Systems,
Wentworth Institute of Technology, Boston, Massachusetts, USA; Visiting Professor, MIT, USA
• Dr. Lamia Atma Djoudi (Chair, Doctoral Colloquium & Demos Sessions); Synchrone Technologies, France
• Prof. Mary Mehrnoosh Eshaghian-Wilner (Congress Steering Committee); Professor of Engineering
Practice, University of Southern California, California, USA; Adjunct Professor, Electrical Engineering,
University of California Los Angeles, Los Angeles (UCLA), California, USA
• Prof. Byung-Gyu Kim (Congress Steering Committee); Multimedia Processing Communications
Lab.(MPCL), Department of Computer Science and Engineering, College of Engineering, SunMoon
University, South Korea
• Prof. Louie Lolong Lacatan; Chairperson, Computer Engineerig Department, College of Engineering,
Adamson University, Manila, Philippines; Senior Member, International Association of Computer Science
and Information Technology (IACSIT), Singapore; Member, International Association of Online Engineering
(IAOE), Austria
• Dr. Vitus S. W. Lam; Senior IT Manager, Information Technology Services, The University of Hong Kong,
Kennedy Town, Hong Kong; Chartered Member of The British Computer Society, UK; Former Vice
Chairman of the British Computer Society (Hong Kong Section); Chartered Engineer & Fellow of the
Institution of Analysts and Programmers
• Dr. Andrew Marsh (Congress Steering Committee); CEO, HoIP Telecom Ltd (Healthcare over Internet
Protocol), UK; Secretary General of World Academy of BioMedical Sciences and Technologies (WABT) a
UNESCO NGO, The United Nations
• Prof. Dr., Eng. Robert Ehimen Okonigene (Congress Steering Committee); Department of Electrical &
Electronics Engineering, Faculty of Engineering and Technology, Ambrose Alli University, Nigeria
• Prof. James J. (Jong Hyuk) Park (Congress Steering Committee); Department of Computer Science and
Engineering (DCSE), SeoulTech, Korea; President, FTRA, EiC, HCIS Springer, JoC, IJITCC; Head of
DCSE, SeoulTech, Korea
• Prof. Dr. R. Ponalagusamy; Department of Mathematics, National Institute of Technology, India
• Prof. Abd-El-Kader Sahraoui; Toulouse University and LAAS CNRS, Toulouse, France
• Prof. Igor Schagaev; Director of ITACS Ltd, United Kingdom (formerly a Professor at London Metropolitan
University, London, UK)
• Dr. Akash Singh (Congress Steering Committee); IBM Corporation, Sacramento, California, USA;
Chartered Scientist, Science Council, UK; Fellow, British Computer Society; Member, Senior IEEE, AACR,
AAAS, and AAAI; IBM Corporation, USA
• Chiranjibi Sitaula; Head, Department of Computer Science and IT, Ambition College, Kathmandu, Nepal
• Ashu M. G. Solo (Publicity), Fellow of British Computer Society, Principal/R&D Engineer, Maverick
Technologies America Inc.
• Prof. Fernando G. Tinetti (Congress Steering Committee); School of CS, Universidad Nacional de La Plata,
La Plata, Argentina; Co-editor, Journal of Computer Science and Technology (JCS&T).
• Prof. Hahanov Vladimir (Congress Steering Committee); Vice Rector, and Dean of the Computer
Engineering Faculty, Kharkov National University of Radio Electronics, Ukraine and Professor of Design
Automation Department, Computer Engineering Faculty, Kharkov; IEEE Computer Society Golden Core
Member; National University of Radio Electronics, Ukraine
• Varun Vohra; Certified Information Security Manager (CISM); Certified Information Systems Auditor
(CISA); Associate Director (IT Audit), Merck, New Jersey, USA
• Dr. Haoxiang Harry Wang (CSCE); Cornell University, Ithaca, New York, USA; Founder and Director,
GoPerception Laboratory, New York, USA
• Prof. Shiuh-Jeng Wang (Congress Steering Committee); Director of Information Cryptology and
Construction Laboratory (ICCL) and Director of Chinese Cryptology and Information Security Association
(CCISA); Department of Information Management, Central Police University, Taoyuan, Taiwan; Guest Ed.,
IEEE Journal on Selected Areas in Communications.
• Prof. Layne T. Watson (Congress Steering Committee); Fellow of IEEE; Fellow of The National Institute of
Aerospace; Professor of Computer Science, Mathematics, and Aerospace and Ocean Engineering, Virginia
Polytechnic Institute & State University, Blacksburg, Virginia, USA
• Prof. Jane You (Congress Steering Committee); Associate Head, Department of Computing, The Hong Kong
Polytechnic University, Kowloon, Hong Kong
We would like to extend our appreciation to the referees, the members of the program committees of
individual sessions, tracks, and workshops; their names do not appear in this document; they are listed on
the web sites of individual tracks.
We express our gratitude to keynote, invited, and individual conference/tracks and tutorial speakers - the
list of speakers appears on the conference web site. We would also like to thank the followings: UCMSS
(Universal Conference Management Systems & Support, California, USA) for managing all aspects of the
conference; Dr. Tim Field of APC for coordinating and managing the printing of the proceedings; and the
staff of Monte Carlo Resort (Convention department) at Las Vegas for the professional service they
provided. Last but not least, we would like to thank the Co-Editors of SERP’17: Prof. Hamid R. Arabnia,
Prof. Leonidas Deligiannidis, and Prof. Fernando G. Tinetti.
The Impact of Test Case Prioritization on Test Coverage versus Defects Found 10
Ramadan Abdunabi, Yashwant Malaiya
Efficient Component Integration Testing of a Landing Platform for Vertical Take Off and 24
Landing UAVs
Anneliese Andrews, Aiman Gannous, Ahmed Gario, Matthew J. Rutherford
Simple Promela Verification Model Translation Method based on Relative SysML State 45
Machine Diagrams
Bo Wang, Takahiro Ando, Kenji Hisazumi, Weiqiang Kong, Akira Fukuda, Yasutaka Michiura, Keita
Sakemi, Michihiro Matsumoto
Version Control Open Source Software for Computer Science Programming Courses 127
Mesafint Fanuel, Tzusheng Pei, Ali Abu El Humos, Xuejun Liang, Hyunju Kim
SW Test Automation System Implementation for Securing SW Quality and Stability 169
Cheol Oh Jeong, Byoung-Sun Lee, In Jun Kim, Yoola L. Hwang, Soojeon Lee
SESSION
TESTING AND RESILIENCE, TEST GENERATION
METHODS, FORMAL METHODS, BUG-FIXING
TECHNIQUES AND SECURITY RELATED ISSUES
Chair(s)
TBA
Abstract— This paper compares the effectiveness and effi- work in model-based testing, testing fail-safe behavior and
ciency of generating test requirements for testing fail-safe use of Genetic Algorithms (GA) to find defects in software.
behavior with simulation experiments and case studies. The Section 3 explains the test generation process. Section 4
strategies to generate test requirements include genetic algo- explains the selection of fail-safe test requirements via GA
rithm (GA) and coverage criteria for failure scenarios. The and coverage criteria. Section 5 describes the simulation ex-
underlying testing method is based on a behavioral model periments. Section 6 compares the efficiency and effectiveness
and its test suite. The results show that test requirements of both types of strategies to determine test requirements on a
generated by a genetic algorithm (GA) are more efficient number of case studies. Section 7 discusses threats to validity.
for large search spaces. They are equally effective for the Section 8 draws conclusions.
two strongest coverage criteria. For small search spaces,
the genetic algorithm is less effective. The weakest coverage 2. Related Work
criteria is ineffective.
2.1 Model Based Testing (MBT)
Utting et al. [7] provide a survey on MBT. They define
1. Introduction six dimensions of MBT approaches (a taxonomy): model
An external failure is an undesirable event in the envi- scope, characteristics, paradigm, test selection criteria, test
ronment that affects system operation [1]. Examples include generation technology and test execution. Dias-Neto et al. [8]
hardware failures, sensor failures, or network outages. Ex- characterize 219 MBT techniques, discuss approaches sup-
ternal failures are not a result of faults in the software. porting the selection of MBT techniques for software projects,
External failures in safety-critical systems (SCSs) such as risk factors that may influence the use of these techniques in
medical devices, autonomous systems, many control systems, industry and their mitigation. Utting et al. [7] classify MBT
and some robots can cause loss of life, destruction of property notations as State Based, History Based, Functional, Oper-
or large financial losses. Even failures in web applications ational, Stochastic, and Transition based. Transition based
can result in losses of billions of dollars [2]. Testing external notations are graphical node-and-arc notations that focus on
failure mitigation is therefore important for many application defining the transitions between states of the system such as
domains. Andrews et al. [3] introduce a technique for testing variants of finite state machines (FSMs), extended finite state
proper external failure mitigation in safety-critical systems. machines (EFSMs), and communicating extended finite state
Unlike other approaches which integrate behavioral and fail- machines (CEFSMs). Examples of transition based notations
ure models, and then generate tests from the integrated model also include UML behavioral models (like activity diagrams,
[4], [5], they construct failure mitigation tests (F M T ) from an sequence and interaction diagrams), UML state charts, and
existing behavioral test suite that is generated from extended Simulink Stateflow charts [7]. Testing with FSM models has
finite state machines (EFSMs) [3], using an explicit mitigation a long history [9]–[13]. FSM-based test generation has been
model (M M ) for which they generate mitigation tests (M T ) used to test a large number of application domains.
which are then woven at selected failure points into the
original test suite to create failure-mitigation tests (F M T 2.2 Testing Fail-Safe Behavior
[6]) [3]. The possible combinations of failures and where An external failure is an undesirable event in the envi-
in the test suite they occur represent failure scenarios. Test ronment that affects system operation [1]. External failures
requirements state which of these failure scenarios need to are not a result of faults in the software. They can occur
be tested. Test requirements have been selected using failure because of physical (network and system domain) failures,
scenario coverage criteria [3] and a genetic algorithm (GA) or client error (user generated/Interaction). Sensor failure in
[6]. Neither [3] nor [6] evaluate their approach with respect to a safety critical system is an example of a physical failure.
effectiveness and efficiency, nor do they compare under which One strategy for testing fail-safe behavior alongside functional
circumstances coverage criteria may be preferable over GA. behavior is to integrate fault models with behavioral models:
This paper reports on a series of simulation experiments and [4], [14] integrate State Charts and Fault Trees (FTs), while
case studies that compare the two strategies with respect to [15] integrates UML State Diagrams and FTs for safety
effectiveness and efficiency. analysis but not for testing. These approaches have a variety of
The paper is organized as follows: Section 2 describes related limitations and challenges, including: (1) possible mismatches
Table 2
4.1 Selection of Test Requirements Using a GA C1: A LL P OSITIONS , A LL A PPLICABLE FAILURES
1.D. The copyright laws of the place where you are located also
govern what you can do with this work. Copyright laws in most
countries are in a constant state of change. If you are outside
the United States, check the laws of your country in addition to
the terms of this agreement before downloading, copying,
displaying, performing, distributing or creating derivative works
based on this work or any other Project Gutenberg™ work. The
Foundation makes no representations concerning the copyright
status of any work in any country other than the United States.
1.E.6. You may convert to and distribute this work in any binary,
compressed, marked up, nonproprietary or proprietary form,
including any word processing or hypertext form. However, if
you provide access to or distribute copies of a Project
Gutenberg™ work in a format other than “Plain Vanilla ASCII” or
other format used in the official version posted on the official
Project Gutenberg™ website (www.gutenberg.org), you must, at
no additional cost, fee or expense to the user, provide a copy, a
means of exporting a copy, or a means of obtaining a copy upon
request, of the work in its original “Plain Vanilla ASCII” or other
form. Any alternate format must include the full Project
Gutenberg™ License as specified in paragraph 1.E.1.
• You pay a royalty fee of 20% of the gross profits you derive from
the use of Project Gutenberg™ works calculated using the
method you already use to calculate your applicable taxes. The
fee is owed to the owner of the Project Gutenberg™ trademark,
but he has agreed to donate royalties under this paragraph to
the Project Gutenberg Literary Archive Foundation. Royalty
payments must be paid within 60 days following each date on
which you prepare (or are legally required to prepare) your
periodic tax returns. Royalty payments should be clearly marked
as such and sent to the Project Gutenberg Literary Archive
Foundation at the address specified in Section 4, “Information
about donations to the Project Gutenberg Literary Archive
Foundation.”
• You comply with all other terms of this agreement for free
distribution of Project Gutenberg™ works.
1.F.
Our website is not just a platform for buying books, but a bridge
connecting readers to the timeless values of culture and wisdom. With
an elegant, user-friendly interface and an intelligent search system,
we are committed to providing a quick and convenient shopping
experience. Additionally, our special promotions and home delivery
services ensure that you save time and fully enjoy the joy of reading.
ebookname.com