Page 1
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
Page 2
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
Page 3
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
Page 4
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
Page 5
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
Page 6
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
Page 7
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
Page 8
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
Page 9
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
Page 10
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
Page 11
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
Page 12
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
Page 13
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
Page 14
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
Page 15
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
Page 16
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
Page 17
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