FECS'17, SERP'17, ICOMP'17, FCS'17 Schedules - Tuesday, July 18

by admin last modified Jul 04, 2017 10:58 AM

To select a different schedule  CLICK HERE

07:00a - 05:00p:  REGISTRATION (2nd Floor, East Ballrooms 6-8; Registration
                  Counter/Desk)
 
SESSION 4-SERP:   TESTING, TEST GENERATION METHODS, FORMAL METHODS,
                  VERIFICATION, BUG-FIXING TECHNIQUES AND SECURITY
                  RELATED ISSUES
                  Chairs: TBA
                  July 18, 2017 (Tuesday); 08:40am - 10:20am
                  (LOCATION: Platinum Room)
 
08:40 - 09:00am:  A Sound Operational Semantics for Circus
                  Samuel Lincoln Magalhaes Barrocas, and
                  Marcel V. Medeiros Oliveira
                  Departamento de Informatica e Matematica Aplicada,
                  Universidade Federal do Rio Grande do Norte (UFRN), Brazil;
                  Instituto Metropole Digital, Universidade Federal do Rio
                  Grande do Norte (UFRN), Natal, RN, Brazil
 
09:00 - 09:20am:  Cybersecurity Practices from a Software Engineering
                  Perspective
                  Aakanksha Rastogi, Kendall E. Nygard
                  Department of Computer Science, North Dakota State
                  University, Fargo, North Dakota, USA
 
09:20 - 09:40am:  The Impact of Test Case Prioritization on Test Coverage
                  versus Defects Found
                  Ramadan Abdunabi, Yashwant K. Malaiya
                  Computer Information Systems Department,
                  Colorado State University, Fort Collins, Colorado, USA;
                  Computer Science Department, Colorado State University,
                  Fort Collins, Colorado, USA
 
09:40 - 10:00am:  Simple Promela Verification Model Translation Method based
                  on Relative SysML State Machine Diagrams
                  Bo Wang, Takahiro Ando, Kenji Hisazumi, Weiqiang Kong,
                  Akira Fukuda, Yasutaka Michiura, Keita Sakemi, and
                  Michihiro Matsumoto
                  Graduate School of Information Science and Electrical
                  Engineering, Kyushu University, Fukuoka, Japan;
                  System LSI Research Center, Kyushu University, Japan;
                  School of Software, Dalian University of Technology,
                  Dalian, China;
                  Japan Manned Space Systems Corporation, Ibaraki, Japan
 
10:00 - 10:20am:  An Automated Approach for Selecting Bugs in Component-Based
                  Software Projects
                  Georgenes Lima, Gledson Elias
                  Informatics Center, Federal University of Paraiba,
                  Joao Pessoa, PB, Brazil
 
10:20 - 10:40am:  BREAK
 
 
SESSION 5-SERP:   TESTING, TEST GENERATION METHODS, FORMAL METHODS,
                  VERIFICATION, BUG-FIXING TECHNIQUES AND SECURITY
                  RELATED ISSUES + CURRICULUM DESIGN
                  Chairs: TBA
                  July 18, 2017 (Tuesday); 10:40am - 12:20pm
                  (LOCATION: Platinum Room)
 
10:40 - 11:00am:  Efficient Component Integration Testing of a Landing Platform
                  for Vertical Take Off and Landing UAVs
                  A. Andrews, A. Gannous, A. Gario, M. J. Rutherford
                  Department of Computer Science, University Of Denver,
                  Denver, Colorado, USA
 
11:00 - 11:20am:  Behavior Driven Test Automation Framework
                  Ramaswamy Subramanian, Ning Chen, Miranda Zhu
                  Department of Computer Science, California State University,
                  Fullerton, California, USA
 
11:20 - 11:40am:  A Software Test Approach to Evaluate the Enforcement of a
                  Workflow Engine
                  Laurent Bobelin, Christian Toinard, Tuan Hiep Tran, and
                  Stephane Moinard
                  LIFO Computer Science Laboratory of Orleans, INSA Centre Val
                  de Loire, Bourges Cedex, France;
                  Qualnet, Vasselay, France
 
11:40 - 12:00pm:  A Comparison of Strategies to Generate Test Requirements for
                  Fail-Safe Behavior
                  Salah Boukhris, Ahmed Alhaddad, Anneliese Andrews
                  Department of Computer Science, University of Denver,
                  Colorado, USA
 
12:00 - 12:20pm:  Determining Degree of Allignment of Undergraduate Software
                  Engineering Program with SWECOM
                  Massood Towhidnejad, Mouza Al Blooshi
                  Embry-Riddle Aeronautical University, Daytona Beach,
                  Florida, USA
 
12:20 - 01:20pm:  LUNCH (On Your Own)
 
 
SESSION 6-FECS:   RESEARCH PROJECTS, CAPSTONE DESIGN PROJECTS, AND
                  NOVEL ALGORITHMS
                  Chairs: TBA
                  July 18, 2017 (Tuesday); 01:20pm - 03:00pm
                  (LOCATION: Platinum Room)
 
01:20 - 01:40pm:  A Senior Research - An Integrated and Automated Submission
                  System
                  Kerules Fareg, Ching-Yu Huang
                  Department of Computer Science, Kean University, USA
 
01:40 - 02:00pm:  HomeUnit - An Internet of Things Air Quality Monitor
                  Marian Grocholski, Nathan Moschler, Roslyn Debacker,
                  Winston Grocholski, Ken Ferens, Marcia Friesen
                  Department of Electrical and Computer Engineering,
                  University of Manitoba, Winnipeg, MB, Canada
 
02:00 - 02:20pm:  An Independent Study on Geographical Information and Online
                  Map System
                  Jacob Quick, Ching-Yu Huang
                  Department of Computer Science, Kean University, USA
 
02:20 - 02:40pm:  The Project Participation Tier Model: Bridging Perceptions
                  of Computer Science Competency
                  Marlon Mejias, Keltly Jean-Pierre, Dwight Thomas,
                  Gloria Washington, Peter Keiller, Legand Burge
                  Department of Electrical Engineering and Computer Science,
                  Howard University, Washington, DC, USA
 
02:40 - 03:00pm:  An Intelligent and Automated PDF Format Checker
                  Tsaihsuan Yang, Yu Sun
                  Computer Science Department, California State Polytechnic
                  University, Pomona, California, USA
 
 
03:00 - 03:40pm:  POSTER SESSION B
                  (INCLUDES POSTER + SHORT & POSITION PAPERS)
                  July 18, 2017 (Tuesday)
                  (LOCATION: Hallways of Ballrooms 6, 7, & 8)
 
                  O.  SW Test Automation System Implementation for Securing SW
                      Quality and Stability
                      C. O. Jeong, B. S. Lee, I. J. Kim, Y. L. Hwang, S. J. Lee
                      Unmanned Vehicle Systems Research Group, Electronics and
                      Telecommunications Research Institute (ETRI), Korea
                  O.  A Mitigation Technique for Interference of Heterogeneous
                      Networks for the IoT Device Domain 
                      Seung-Jun Yu,  Won-Seok Lee,  Sung-Soon Park,  Hyoung-Kyu Song
                      UT Communication Research Institute, Sejong University,
                      Seoul, Republic of Korea
                  O.  Software Architecture for OneM2M Based Gateway to
                      Interwork with ZigBee Networks for Device Domain
                      Won-Seok Lee, Sung-Soon Park, Chang-Hee Kang, and
                      Hyoung-Kyu Song
                      uT Communication Research Institute, Sejong University,
                      Seoul, Republic of Korea
                  O.  ...
 
 
SESSION 7-ICOMP:  COMMUNICATION ISSUES, INTERNET COMPUTING AND WEB
                  PROGRAMMING + SECURITY RELATED ISSUES
                  Chairs: TBA
                  July 18, 2017 (Tuesday); 03:40pm - 04:40pm
                  (LOCATION: Platinum Room)
 
03:40 - 04:00pm:  Internet Of Things Security
                  Kevin Berisso, James McGinnis
                  Department of Engineering Technology,
                  University of Memphis, Memphis, TN, USA
 
04:00 - 04:20pm:  Optimization of Packet Cache Utilization of Network Node
                  for Redundant Traffic Reduction
                  Wataru Yokota, Kenji Ichijo, Akiko Narita
                  Graduate school of Science and Technology,
                  Hirosaki University, Aomori, Japan
 
04:20 - 04:40pm:  Mean Web Object Size for Multiple User Access in
                  M/G/1/Ps System
                  Yong-Jin Lee
                  Department of Technology Education, Korea National
                  University of Education, Korea
 
 
XX:XX - 07:00pm:  Keynotes, Invited Lectures, Tutorials, Discussions
                  (Please refer to the lists at the begining of the program

                  book for details)

To select a different schedule  CLICK HERE

Filed under: ,