Software Engineering Research and Practice

TESTING AND RESILIENCE, TEST GENERATION METHODS, FORMAL METHODS, BUG-FIXING TECHNIQUES AND SECURITY RELATED ISSUES
A Comparison of Strategies to Generate Test Requirements for Fail-Safe Behavior
The Impact of Test Case Prioritization on Test Coverage versus Defects Found
Behavior Driven Test Automation Framework
Efficient Component Integration Testing of a Landing Platform for Vertical Take Off and Landing UAVs
A Software Test Approach to Evaluate the Enforcement of a Workflow Engine
An Automated Approach for Selecting Bugs in Component-Based Software Projects
Simple Promela Verification Model Translation Method based on Relative SysML State Machine Diagrams
Cybersecurity Practices from a Software Engineering Perspective
A Sound Operational Semantics for Circus
Resilience Methods within the Software Development Cycle

WEB-BASED TECHNOLOGIES AND APPLICATIONS + CLOUD AND MOBILE COMPUTING
A Comparison of Server Side Scripting Technologies
The Architecture of a Ride Sharing Application
An Automated Input Generation Method for Crawling of Web Applications
The Application of Software Engineering to Moving Goods Mobile App
Support Environment for Traffic Simulation of ITS Services
Publishing and Consuming RESTful Web API Services

PROGRAMMING ISSUES AND ALGORITHMS + SOFTWARE ARCHITECTURES AND SOFTWARE ENGINEERING + EDUCATION
Aesthetics Versus Entropy In Source Code
KDD Extension Tool for Software Architecture Extraction
Version Control Open Source Software for Computer Science Programming Courses
Software Engineering Experience - Fraud Detection
Determining Degree of Alignment of Undergraduate Software Engineering Program with SWECOM
Improving Cuckoo Hashing with Perfect Hashing

AGILE DEVELOPMENT AND MANAGEMENT
IEEE 42010 and Agile Process - Create Architecture Description through Agile Architecture Framework
Implementation and Analysis of Autonomic Management SaaSEHR System

POSTER PAPERS
Enriching Information Technology Research for Each Video Contents Scene based on Semantic Social Networking using Ontology-Learning
Strategy Development on Disaster Information Integration System in High-rise Buildings in Korea
SW Test Automation System Implementation for Securing SW Quality and Stability

LATE PAPERS - SOFTWARE ENGINEERING RESEARCH
Object Orientation: A Mathematical Perspective
An Actor Model of Concurrency for the Swift Programming Language
Performance Investigation of Deep Neural Networks on Object Detection

Hamid R. Arabnia

Hamid R. Arabnia is Professor, Computer Science; Editor-in-Chief, The Journal of Supercomputing (Springer); Elected Fellow, Int'l Society of Intelligent Biological Medicine (ISIBM); The University of Georgia, Department of Computer Science.

Leonidas Deligiannidis

No information

Fernando G. Tinetti

No information