PROCEEDINGS

SEKE 2013

The 25th International Conference on

Software Engineering &

Knowledge Engineering

Sponsored byKnowledge Systems Institute Graduate School, USA

Technical ProgramJune 27 - 29, 2013

Hyatt Harborside at Logan Int'l Airport, Boston, USA

Organized byKnowledge Systems Institute Graduate School

Table of Contents

Foreword Hi

Conference Organization iv

Keynote I: Surprising discoveries from emotion sensors

Professor Rosalind W. Picard xxvii

Keynote II: Environment-Aware Software Engineering

Professor Shi-Kuo Chang xxviii

Keynote III: Overcoming Big Data Challenges

Professor Taghi M. Khoshgoftaar xxix

Software Security

Runtime Values Driven by Access Control Policies - Statically Enforced at the

Level of Relational Business Tiers

Oscar Mortdgua Pereira, Rui L. Aguiar, Maribel Yasmina Santos 1

Exploring Architectural Design Decision Management Paradigms for Global Software

Development

Meiru Che, Dewayne E. Perry 8

A Semantic-based Semi-automated Role Mapping Mechanism (S)

Lijuan Diao, Wei She, I-Ling Yen, Junzhong Gu 14

Process and Workflow Management

Detecting Portability Issues in Model-Driven BPEL Mappings (S)

Jorg Lenhard, Guido Wirtz 18

Introducing Software Process Specification to Task Context (S)

Ivens da S. Portugal, Toacy C. Oliveira 22

xi

A Solution to the State Space Explosion Problem in Declarative Business Process

Modeling (S)

Renata M. de Carvalho, Natalia C. Silva, Cesar A. L. Oliveira, Ricardo M. F. Lima 26

Requirements Engineering

Context Factors: What they are and why they matter for Requirements Problems

Corentin Burnay, Ivan J. Jureta, Stephane Faulkner 30

Detecting traceability links through neural networks

Andre Di Thommazo, Thiago Ribeiro, Guilherme Olivato, Rafael Rovina, Vera Werneck,

Sandra Fabbri 36

Generating Ontologies through Organizational Modeling

Karen Najera, Alicia Martinez, Anna Perini, Hugo Estrada 42

Using NLP Techniques for Identifying GUI Prototypes and UML Diagrams From Use

Cases

Rafael T. Anchieta, Rogerio F. de Sousa, Raimundo S. Moura 48

A fuzzy based approach for requirements prioritization in goal oriented requirementselicitation process (S)

Mohd Sadiq, SK Jain 54

Integrating Functional with Non-functional Requirements Analysis In Object Oriented

Modeling Tool Based on HOOMT (S)

Jinwu Wang, Fan Zhang, Xiaoqing (Frank) Liu, Eric Barnes, Buqing Cao,

Mingdong Tang 59

Automated Construction of System Domain Knowledge Using an Ontology-Based

Approach (S)

Mohammad Moshirpour, Armin Eberlein, Behrouz H. Far 63

Cloud Computing

Dynamic Adaptation of Cloud Computing Applications

Andre Almeida, Everton Cavalcante, Thais Batista, Nelio Cacho, Frederico Lopes,Flavia Delicato, Paulo Pires 67

xii

A Machine Learning Based File Archival Tool (S)

Robert Carreras, Du Zhang, Jinsong Ouyang 73

Modeling and Analyzing Attack-Defense Strategy of Resource Service in Cloud

Computing

Huiqun Yu, Guisheng Fan, Liqiong Chen, DongmeiLiu 77

Software Engineering Decision Support

Proposal and Validation of a Feasibility Model for Information Mining Projects (S)

Pablo Pytel, Paola Britos, Ramon Garcia-Martinez 83

Decision Support for Re-planning of Software Product Releases (S)

S. M. Didar-Al-Alam, Guenther Ruhe, Dietmar Pfahl 89

A Non-Intrusive Process to Software Engineering Decision Support focused on increasingthe Quality of Software Development (S)

Everton Gomede, Rodolfo M. Barros 95

Social Media

Group Profiling for Understanding Educational Social Networking

Joao Gomes, Ricardo Prudencio, Luciano Meira, Alexandre Azevedo Filho, Andre Nascimento,

Hildrio Oliveira 101

Understanding Common Perceptions from Online Social Media

Derek Doran, Swapna S. Gokhale, Aldo Dagnino 107

Analyzing Social Behavior of Software Developers Across Different Communication

Channels (S)

Aftab Iqbal, Marcel Karnstedt, Michael Hausenblas 113

Effective Crowdsourcing for Software Feature Ideation in Online Co-Creation Forums

Karthikeyan Rajasekharan, Aditya P Mathur, See-Kiong Ng 119

xiii

Human Computer Interaction

Profiles for Convenient Front-end Privacy

Ronald Metier, Johannes Sametinger 125

A Real-time Personalized Gesture Interaction System Using Wii Remote and Kinect

for Tiled-Display Environment

Yihua Lou, Wenjun Wu 131

Releasing the OMCS-Br Knowledgebase to Facilitate Insertion of Culture in Applications:

Brazilian Experience (S)

Andre de O. Bueno, Junia C. Anacleto 137

Data and Knowledge Visualization

A Visual Approach to Validate the Selection Review of Primary Studies in Systematic

Reviews: A Replication Study

Katia Romero Felizardo, Ellen Francine Barbosa, Jose Carlos Maldonado 141

Andon for Dentists (S)

Saulius Astromskis, Andrea Janes, Alberto Sillitti, Giancarlo Succi 147

Identifying Extract Method Opportunities Based on Variable References (S)

Mehmet Kaya, James W. Fawcett 153

Software Engineering Tools and Environments

Mutation Analysis for JavaScriptWebApplication TestingKazuki Nishiura, Yuta Maezawa, Hironori Washizaki, Shinichi Honiden 159

A Knowledge-based Approach for Generating Test Scenarios for Web Applications

Rogene Lacanienta, Shingo Takada, Haruto Tanno, Morihide Oinuma 166

Improving Usability Inspection Technologies for Web Mockups through Empirical Studies

Luis Rivero, Tayana Conte 172

Random Visual GUI Testing: Proof of Concept

EmilAlegroth 178

xiv

Using Change Entries to Collect Software Project Information

Hazeline U. Asuncion, Macneil Shonle, Robert Porter, Karen Potts, Nathan Duncan,

William Joseph Matthies Jr 184

Improving Software Engineers' Skills through the Simulation of Distributed Software

Development in Academic Environments

Luiz Leandro Fortaleza, Olavo Olimpio Matos Junior, Tayana Conte,

Sergio Roberto Costa Vieira, Rafael Prikladnicki 190

A Feasibility Study of Follow-the-Sun Software Development for GSD Projects (S)

Josiane Kroll, Rafael Prikladnicki, Jorge L. N. Audy, Erran Carmel, Jude Fernandez 196

Structural Testing and Coverage

Structural Testing ofAutonomous Vehicles

Vdnia de Oliveira Neves, Mdrcio Eduardo Delamaro, Paulo Cesar Masiero,

Caio Cesar Teodoro Mendes, Denis Fernando Wolf 200

Structural Testing of Exceptions Handling (S)

Luciano Augusto Fernandes Carvalho, Vdnia de Oliveira Neves, Paulo Cesar Masiero 206

AHybrid Coverage Criterion for DynamicWeb Testing (S)

Yunxiao Zou, Chunrong Fang, Zhenyu Chen, Xiaofang Zhang, ZhihongZhao 210

Software Product Lines

Towards the Effectiveness of a Variability Management Approach at Use Case Leve

Anderson Marcolino, Edson Oliveira Junior, Itana Gimenes, Jose Maldonado 214

Selecting Agile Practices for Developing Software Product Lines (S)

Diego Spillere de Souza, Patricia Vilain 220

Domain Analysis in Combination with Extreme Programming toAddress Requirements

Volatility Problems (S)

Andrea Janes, Sarunas Marciuska, Alessandro Sarcia, Giancarlo Succi 226

AMutation Approach to Feature Testing of Software Product Lines

Johnny Maikeo Ferreira, Silvia Regina Vergilio, Marcos Antonio Quinaia 232

xv

Scrum-basedApproach for Analyzing Commonalities and Variabilities in Software

Product Lines

Ivonei F. da Silva, Tassio Vale, Silvio R. L. Meira, Eduardo S. de Almeida 238

Mining Features from the Object-Oriented Source Code of a Collection of Software

Variants Using Formal Concept Analysis and Latent Semantic Indexing

R. AL-msie'deen, A.-D. Serial, M. Huchard, C. Urtado, S. Vauttier, H. Eyal Salman 244

Model-Driven Generation of Context-Specific Feature Models

Thibaut Possompes, Christophe Dony, Marianne Huchard, Chouki Tibermacine 250

Software Domain and Meta-Modeling

An ADM-based Method for migrating CMS-based Web applications

Feliu Trias, Valeria de Castro, Marcos Lopez-Sanz, Esperanza Marcos 256

BeMoRe: a Repository for Handling Models Behaviors

Youness Bazhar, Yamine Ait-Ameur, Stephane Jean 262

Processing rhetorical, morphosyntactic, and semantic features from corporate technical

documents for identifying organizational domain knowledge (S)

Bell Manrique Losada, Carlos Mario Zapata Jaramillo 268

Slow Intelligence and Intelligent Systems

SwimmingActivity Recognition Based on Slow Intelligence Systems

Wen-Hui Chen, Shi-Kuo Chang 273

Image Steganography Using Fuzzy Domain Transformation and Pixel Classification

Aleem KhalidAlvi, Robin Dawes 277

Smart Phone Based Indoor Pedestrian Localization System (S)Lokesh Agrawal, Durga Toshniwal 283

xvi

Quality and Reliability

AFormal Cost-Effectiveness Analysis Model for Product Evaluation in E-Commerce

Ran Wei, HaipingXu 287

On the Use of Bug and Predicate Signatures for Statistical Debugging

Yiwei Zhang, Eric Lo, Ben Kao 294

BacterioORACLE: An Oracle suggester tool

Pedro Reales Mateo, Macario Polo Usaola 300

Managing Corrective Actions to Closure in Open Source Software Test Process

Tamer Abdou, Peter Grogono, Pankaj Kamthan 306

Recommender Systems

Comparing Collaborative Filtering Methods Based on User-Topic Ratings

TiekeHe, Xingzhong Du, Weiqing Wang, Zhenyu Chen, JiaLiu 312

ABEY: an Incremental Personalized Method Based on Attribute Entropy

for Recommender Systems (S)

Xingzhong Du, TiekeHe, Zhenyu Chen, JiaLiu, Chengfeng Hui 318

STERS: A System for Service Trustworthiness Evaluation and Recommendation

based on the Trust Network (S)

Yasha Wang, Jiangtao Wang, Yuxing Teng, Junfeng Zhao 322

Web and Data Mining

Towards a Network Ecology of Software Ecosystems: an Analysis of two OSGi Ecosystems

Klaus Marius Hansen, Konstantinos Manikas 326

Revisiting the Performance of Weighted k-Nearest Centroid Neighbor Classifiers

Muhammad Rezaul Karim, Malek Mouhoub 332

Mining Software Repository to Identify Crosscutting Concerns Using Combined

Techniques (S)

Ingrid Marqal, Rogerio Eduardo Garcia, Ronaldo C. M. Correia, Celso Olivete Junior 338

xvii

Software Architecture

The Layered Architecture revisited: Is it an Optimization Problem?

Alvine Boaye Belle, Ghizlane El Boussaidi, Christian Desrosiers, Hafedh Mill 344

Towards the Establishment of a Reference Architecture for Developing Learning

Environments

Ellen Francine Barbosa, Maria Lydia Fioravanti, Elisa Yumi Nakagawa,

Jose Carlos Maldonado 350

Testing Configurable Architectures For Component-Based Software Using an

Incremental Approach

Chuanqi Tao, Bixin Li, Jerry Gao 356

Software Maintenance

Using Architecture to Support the Collaborations in Software Maintenance

Yanchun Sun, Hui Song, Wenpin Jiao 362

Reverse Engineering of Sequence Diagrams by Merging Call Trees

Seonghye Yoon, Sunghyun Min, Sooyong Park, Soojin Park 368

Mining Architectural Patterns Using Association Ruless

Cristiano Maffort, Marco Tulio Valente, Mariza Bigonha, Andre Hora, Nicolas Anquetil,

Jonata Menezes 375

Bug Prediction for Fine-Grained Source Code ChangesZi Yuan, Lili Yu, Chao Liu 381

Security and Fault Tolerance

An efficient QCL-based alert correlation process

Lydia Bouzar-Benlabiod, Salem Benferhat, Thouraya Bouabana-Tebibel 388

Security Metrics for Java Bytecode Programs (S)

Bandar Alshammari, Colin Fidge, Diane Corney 394

An Empirical Study of an Improved Web Application Fuzz Testing Technique (S)

Lili Yu, Zi Yuan, Chao Liu, Feng Chen 400

xviii

Petri Nets

A Petri Net Model Specification for Delivering Adaptable Ads through Digital Signage in

Pervasive Environments

Frederico M. Bublitz, Lenardo C. e Silva, Elthon A. da S. Oliveira, Saulo O. D. Luiz,

Hyggo O. de Almeida, Angelo Perkusich 405

An Approach for Analyzing Software Specifications in Petri Nets

Junhua Ding, DianxiangXu, Jidong Ge 411

A Best Method to Synthesize Very Large K-th Order Systems without Reachability

Analysis (S)

Daniel Yuh Chao, T. H. Yu 417

Pervasive Computing

Combining multiple stress identification algorithms using combinatorial fusion

YongDeng, Zhonghai Wu, D. Frank Hsu 421

eDOTS 2.0: A Pervasive Indoor Tracking System

Ryan Rybarczyk, Rajeev Raje, Mihran Tuceryan 429

A context-aware approach on semantic trajectories (S)

Caio Silva, M.A.R Dantas 435

Software Architecture and Quality

Towards Quantifying Quality, Tactics and Architectural Patterns Interactions (S)

Mohamad Kassab, Ghizlane El Boussaidi 441

Metrics-based Detection of Similar Software (S)

Paloma Oliveira, Hudson Borges, Marco Tulio Valente, Heitor Augustus Xavier Costa 447

A Checklist for Evaluation of Reference Architectures of Embedded Systems (S)

Jose Filipe Marreiros Santos, Milena Guessi, Matthias Galster, Daniel Feitosa,

Elisa Yumi Nakagawa 451

xix

Measurement and Empirical SE

Empirical Evidence on Developer's Commit Activity for Open-Source Software Projects

Sihai Lin, Yutao Ma, Jianxun Chen 455

The Impact of Confirmation Bias on the Release-based Defect Prediction of Developer

Groups

Gul Calikli, Ayse Bener 461

A Study on First Order Statistics-Based Feature Selection Techniques on

Software Metric Data

Huanjing Wang, Taghi M. Khoshgoftaar, Randall Wald, Amri Napolitano 467

Software Effort Estimation using Regularized Radial Basis Function Neural Networks

Khaled Shams, Haitham Hamza, AmrKamel 473

Towards a Unified Framework for Measuring the Properties of Class Diagrams

Augmented with OCL (S)

Mohamed Elshaarawy, Haitham S.Hamza, Ismail Taha 479

Assessing RBFN-Based Software Cost Estimation Models (S)

AH Idri, Aya Hassani, Alain Abran 483

Proposal of an Automated Approach to Support the Systematic Review of Literature

Process (S)

Jefferson Seide Molleri, Luiz Eduardo da Silva, Fabiane Barreto Vavassori Benitti 488

Automated Computation of Use Cases Similarity can Aid the Assessment of Cohesion and

Complexity of Classes (S)

Renato C. Juliano, Bruno A. N. Travengolo, Michel S. Soares, Marcelo deA. Maia 494

Generation of Thematic Maps using WPS-Cartographer: An experimental study (S)

Francisco Carlos M. Souza, Alinne C. Correa dos Santos, Vinicius Pereira,

Ellen Francine, Vinicius Ramos Toledo Ferraz 500

Automated Support for Controlled Experiments in Software Engineering: A Systematic

Review (S)

Marilia Freire, Daniel Costa, Edmilson Campos, Taind Medeiros, Uird Kulesza,

Eduardo Aranha, Sergio Soares 504

xx

Mobile Systems

SIGAA Mobile -A sucessful experience of constructing a mobile application from a existing

web system

Gibeon Soares de Aquino Junior, Itamir de Morais Barroca Filho 510

ANDRIU. A Technique for Migrating Graphical User Interfaces to Android (S)

Ricardo Perez-Castillo, Ignacio Garcia-Rodriguez de Guzman, Rafael Gomez-Cornejo,

Maria Fernandez-Ropero, Mario Piattini 516

Using a Partially Instantiated GQM to Measure the Quality of Mobile Applications (S)

Luis Corral, Alberto Sillitti, Giancarlo Succi 520

Software Maintenance and Quality

Locating and Understanding Concurrency Bugs Based on Edge-labeled Communication

Graphs (S)

He Li, Mengxiang Lin, Tahir Jameel, Zhenyuan Jiang 525

Multiple Coordinated Views to Support Aspect Mining Using Program Slicing (S)

Fernanda Madeiral Delfim, Rogerio Eduardo Garcia 531

How Does Acquirer's Participation Influence Performance of Software Projects:A Quantitative Analysis (S)

Yasha Wang, Jiangtao Wang, Jiakuan Ma, BingXie 537

Web-based Knowledge Management

Synchronized Data Acquisition from Web Services Serving at Disparate Rates

D.R.Plante 542

A Dialogue GameApproach to Collaborative Risk Management (S)

Fabricio S. Severn, Lisandra M. Fontoura, Luis A. L. Silva 548

Maturity Model and Lesson Learned for improve the Quality of Organizational

Knowledge and Human Resources Management in Software Development (S)

Fldvio E. A. Horita, Marco I. Hisatomi, Fernando H. Gaffo, Rodolfo M. de Barros 552

xxi

Knowledge Management in Software Engineering

Recovering Software Architectural Knowledge from Documentation using

Conceptual Model

Mojtaba Shahin, Peng Liang, Zengyang Li 556

Knowledge Management Applied to Software Testing: A Systematic Mapping

E. F Souza, R. A. Falbo, N. L. Vijaykumar 562

Improving Architectural Knowledge Management in Public Sector Organizations - an

Interview Study (S)

Dan Tofan, Matthias Galster, Paris Avgeriou 568

Enhancing Deployment Requirements' Traceability via Knowledge Management Audit (S)

Naomi Unkelos-Shpigel, hit Hadar, Meira Levy 574

Testing and Fault Diagnosis

Generating Partial Covering Array for Locating Faulty Interactions in Combinatorial

Testing

Ziyuan Wang, Ting Guo, Wujie Zhou, Weifeng Zhang, BaowenXu 578

Analyzing the Effectiveness of a System Testing Tool for Software Product Line

Engineering (S)

Crescendo Rodrigues Lima Neto, Ivan do Carmo Machado, Vinicius Cardoso Garcia,

Eduardo Santana de Almeida 584

Exploiting Weights of Test Cases to Enhance Fault Localization (S)

Tihan Li, Chao Liu, Zi Yuan 589

Programming Languages and Software Engineering

Comparative Evaluation of Programming Paradigms: Separation of Concerns with

Object-, Aspect-, and Context-Oriented Programming (S)

Fumiya Kato, Kazunori Sakamoto, Hironori Washizaki, Yoshiaki Fukazawa 594

Extended Design Patterns in New Object-Oriented Programming Languages (S)Kazunori Sakamoto, Hironori Washizaki, Yoshiaki Fukazawa 600

xxii

ELCD: an efficient online cycle detection technique for pointer analysis

Fei Liu, Lulu Wang, Bixin Li 606

Artificial Intelligence Approaches to Software Engineering

Exploring Ensemble-Based Data Preprocessing Techniques for Software Quality

Estimation

Kehan Gao, Taghi M. Khoshgoftaar, Amri Napolitano 612

Comparison ofSRGMs and NNEs on Multiple Data Sets

Catherine Stringfellow, Sreya Reddy, Raaji Vedala-Tiramula, Swetha Myneni 618

HESA: The Construction and Evaluation of Hierarchical Software Feature RepositoryYue Yu, Huaimin Wang, Gang Yin, Xiang Li, Cheng Yang 624

Class Diagram Retrieval with Particle Swarm Optimization

Wesley Klewerton Guez Assunqao, Silvia Regina Vergilio 632

Software Process and Quality

Towards a strategy for analysing benefits of Software Process Improvement programs

Cristiane Soares Ramos, Ana Regina Rocha, Kdthia Margal de Oliveira 638

How Does Refactoring Affect Understandability of Business Process Models? (S)

Ricardo Perez-Castillo, Maria Ferndndez-Ropero, Mario Piattini, Danilo Caivano 644

A multi-dimensional approach for analyzing software artifacts

Sebastien Adam, Ghizlane El Boussaidi 650

Semantic Analysis

Semantic Conflicts Detection in Model-driven Engineering

Valeria Oliveira Costa, Joao M. B. Oliveira Junior, Leonardo Gresta Paulino Murta 656

Automatic Generation of Semantic Web Services

Thiago P. da Silva, Thais Batista, Frederico Lopes, Flavia C Delicato, Paulo F. Pires 662

xxiii

A Knowledge Modeling System for Semantic Analysis of Games Applied to Programming

Education

Elanne Cristina Oliveira dos Santos, Gleison Brito Batista, Esteban Walter Gonzales Clua....

668

Representing Chains of Custody Along a Forensic Process: ACase Study on Kruse Model

Tamer Fares Gayed, Hakim Lounis, MoncefBari 674

Agents and Ontologies

Argumentation Understood as Program Synthesis (S)

Ashwag Omar Marghraby, Dave Robertson 681

Virtual Medical Board: A Distributed Bayesian Agent Based Approach (S)

Animesh Dutta, Sudipta Acharya, Aneesh Krishna, Swapan Bhattacharya 685

Software Quality Assurance Ontology from Development to Evaluation (S)

Nada Bajnaid, Rachid Benlamri 689

Embedded and Ubiquitous Software Engineering

DOPROPC: a domain property pattern system helping to specify control system

requirements (S)

Fan Wu, Hehua Zhang, Ming Gu 695

A Mixed-way Combinatorial Testing for Concurrent Programs (S)

Xiaofang Qi, Jun He, Peng Wang 699

Model Driven Development for Internet of Things Application Prototyping

Ferry Pramudianto, Indra Rusmita Indra, Mathias Jarke 703

Embedded and Ubiquitous Software Engineering

Pattern-based Decentralization and Run-time Adaptation Framework for Multi-site

Workflow Orchestrations

Selim Kalayci, S. Masoud Sadjadi 709

xxiv

Framework for digital voting systems (S)

Patricia Dousseau Cabral, Ricardo Pereira e Silva, Roberto Silvino da Cunha 715

How do You Execute Reuse Tasks Among Tools?

Fdbio P. Basso, Claudia M. L. Werner, Raquel M. Pillat, Toacy C. Oliveira 721

Using Prolog Rules to Detect Software Design Patterns: Strengths and Weaknesses (S)

Hamdi A. Al-Jamimi, MoatazAhmed 727

Adaptive Systems

Runtime Monitoring and Auditing of Self-Adaptive Systems (S)

Daniel H. Carmo, Sergio T. Carvalho, Leonardo G. P. Murta, Orlando Loques 731

An ontology-based user model for personalization of educational content (S)

Joice B. Machado, Gustavo L. Martins, Seiji Isotani, Ellen F. Barbosa 737

Architectural Design Spaces for Feedback Control Concerns in Self-Adaptive

Systems (S)

Sandro S. Andrade, Raimundo Jose de A. Macedo 741

Software Maintenance and Evolution

Towards Coupled Evolution of Metamodels, Models, Graph-Based Transformations and

Traceability Links (S)Chessman Correa, Toacy Oliveira, Claudia Werner 747

Measuring the Structural Similarity between Source Code Entities (S)

Ricardo Terra, Joao Brunet, Luis Miranda, Marco Tulio Valente, Dalton Serey,

Douglas Castilho, Roberto Bigonha 753

On Use Case Identification

DavidKung 759

XXV

Poster/Demo

ScubAA: A Human Plausible Reasoning Approach to Agent Trust Management (P)

Sadra Abedinzadeh, Samira Sadaoui A-l

Attribute-Value based Reconfiguration Model for Sensor Network Environ (?)

Hyunjun Jung, Sukhoon Lee, Doo-Kwon Baik A-3

DuSE-MT: From Design Spaces to Automated Software Architecture Design (P)Sandro S. Andrade, Raimundo Jose de A. Macedo A-5

Author's Index A-7

Reviewer's Index A-14

Poster/Demo Presenter's Index A-l7

Note: (S) indicates a short paper.

(P) indicates a poster or demo, which is not a refereed paper.

xxvi