SEKE C

115 papers

YearTitle / Authors
2021A Case Study of Testing an Image Recognition Application (S).
Chuanqi Tao, Dongyu Cao, Hongjing Guo, Jerry Gao
2021A Collaborative Forensic Framework for Detecting Advanced Persistent Threats.
Weifeng Xu, Jie Yan, Daryl Stone
2021A Comparative Study of Psychometric Instrumentsin Software Engineering.
Gleyser Guimarães, Mirko Perkusich, Danyllo Albuquerque, Everton Guimarães, Danilo Santos, Hyggo O. Almeida, Angelo Perkusich
2021A Framework for Mutation Testing of Machine Learning Systems (S).
Raju Singh, Mukesh Kumar Rohil
2021A Novel Approach of CTL Model Checking Based on Probe Machine.
Dong Wang, Jing Liu, Jin Xu, Haiying Sun, Jiexiang Kang
2021A Novel Text Classification Approach based on Meta-path Similarities and Graph Neural Networks.
Huan Wang, Jiang Li, Qing Zhou, Liang Ge
2021A Practical User Feedback Classifier for Software Quality Characteristics.
Rubens Ideron dos Santos, Karina Villela, Diego Toralles Avila, Lucinéia Heloisa Thom
2021A Technical Capability Evaluation Model Based Concept and Prerequisite Relation in Computer Education(SEKEEO) (S).
Jiwen Luo, Tao Wang, Junsheng Chang, Xiaoting Guo
2021A Volume-Aware Positional Attention-Based Recurrent Neural Network for Stock Index Prediction.
Xinpeng Yu, Dagang Li
2021A family of experiments for evaluating the usability of a collaborative modelling chatbot.
Ranci Ren, John W. Castro, Silvia Teresita Acuña
2021A hierarchical RNN-based model for learning recommendation with session intent detection.
Jinyang Liu, Chuantao Yin, Xiaoyan Zhang, Kunyang Wang, Hong Zhou
2021A method for generating various style Chinese fonts in the absence of training data (S).
Kang Shi, Tian-Ming Bu
2021A recommender system to assist conceptual modeling with UML.
Maxime Savary-Leblanc, Xavier Le Pallec, Sebastien Gerard
2021AAMR: Automated Anomalous Microservice Ranking in Cloud-Native Environment.
Zekun Zhang, Bing Li, Jian Wang, Yongqiang Liu
2021ATFE: A Two-dimensional Feature Encoding-based Sentence-level Attention Model for Distant Supervised Relation Extraction.
Shiyang Li, Qianqian Ren, Zechao Liu
2021An Analysis of the State of the Art of Machine Learning for Risk Assessment in Software Projects (S).
André Sousa, João Pascoal Faria, João Mendes-Moreira
2021An Efficient ROS Package Searching Approach Powered By Knowledge Graph.
Long Chen, Xinjun Mao, Yinyuan Zhang, Shuo Yang, Shuo Wang
2021An Empirical Study on the Impact of Class Overlapin Just-in-Time Software Defect Prediction (S).
Minyang Yi, Guisheng Fan, Huiqun Yu, Xingguang Yang
2021AnB2Murphi: A Translator for Converting AliceBob Specifications to Murphi.
Yongxin Zhao, Hongjian Jiang, Jin Lv, Sijun Tan, Yongjian Li
2021Analyzing Open-Source Serverless Platforms: Characteristics and Performance (S).
Junfeng Li, Sameer G. Kulkarni, K. K. Ramakrishnan, Dan Li
2021Analyzing Program Comprehensibility of Go Projects.
Moumita Asad, Rafed Muhammad Yasir, Shihab Shahriar Khan, Nadia Nahar, Md. Nurul Ahad Tawhid
2021ArchiNet: A Concept-token based Approach for Determining Architectural Change Categories.
Amit Kumar Mondal, Banani Roy, Sristy Sumana Nath, Kevin A. Schneider
2021Attention Guided Filter for Jointly Extracting Entities and Classifying Relations.
Shaoze Chen, Su Wang, Wenxin Hu
2021AutoCom: Automatic Comment Generation for C Code.
Zhikang Tian, Yuekang Li
2021Automatic Comprehension of Geometry Problems using AMR Parser (S).
Anca-Elena Iordan
2021BEHIND: a 4W-oriented Method for Event Detection from Twitter.
Kang Zeng, Yujia Liu, Xin Song, Bin Zhou
2021CASTR: Assisting Bug Report Assignment Recommender Creation.
Disha Thakarshibhai Devaiya, John Anvik, Farjana Yeasmin Omee, Meher Bheree
2021Chinese Sentence Semantic Matching With Multi-Granularity Based on Siamese Neural Network.
Xuan Wen, Jianxia Chen, Yu Chen, Shirui Sheng
2021Complementary Representation of ALBERT for Text Summarization.
WenYing Guo, Bin Wu, Bai Wang, Lianwei Li, Junwei Sun, Maham Nazir
2021Conv-Reluplex : A Verification Framework For Convolution Neural Networks (S).
Jin Xu, Zishan Li, Miaomiao Zhang, Bowen Du
2021Correctness Arguments for an SDN MAC Learning Algorithm (S).
Liang Hao, Xin Sun, Lan Lin
2021Deep Self-Attention for Sequential Recommendation (S).
Beichuan Zhang, Zhijiao Xiao, Sheng-hua Zhong
2021Deep Similarity Preserving and Attention-based Hashing for Cross-Modal Retrieval.
Shubai Chen, Song Wu, Yu Chen, Yuan Yuan
2021DeepAuto: A First Step Towards Formal Verification of Deep Learning Systems (S).
Yuteng Lu, Weidi Sun, Guangdong Bai, Meng Sun
2021DeepSCC: Source Code Classification Based on Fine-Tuned RoBERTa (S).
Guang Yang, Yanlin Zhou, Chi Yu, Xiang Chen
2021Development of an Automated Machine Learning Solution for Educational Data Mining (S).
Raniel Gomes da Silva, Vitoria Maria Pena Mendes, Rodrigo Lins Rodrigues, Alexandre Magno Andrade Maciel
2021Dynamically Detecting Invariants for Automatic Testing PLC Programs (S).
Zeyu Lu, Xia Mao, Yanhong Huang, Jianqi Shi, Yang Yang
2021Evaluating Visual Explanation of Bug Report Assignment Recommendations (S).
Shayla Azad Bhuyan, John Anvik
2021Evaluating a Bayesian Network to Predict Customer Satisfaction in Scrum Software Development Projects: An Empirical Study with One Company.
Mirko Perkusich, Gleyser Guimarães, Kyller Costa Gorgônio, Hyggo O. Almeida, Angelo Perkusich
2021Evaluating a Tool for Creating Bug Report Assignment Recommenders (S).
Disha Devaiya, John Anvik, Meher Bheree, Farjana Yeasmin Omee
2021Evaluating the Impact of Vaccination on COVID-19 Using Model Checking.
Xin Li
2021Evaluation of Chatbots Usability Experimentation (S).
Ranci Ren, John W. Castro, Silvia Teresita Acuña
2021Extracting Prerequisite Relations among Concepts from the Introduction of Online Courses(SEKEEO) (S).
Zesong Wang, Kui Xiao, Zeqing Qin, Shihui Wang
2021Extracting information from driving data using k-means clustering (S).
Nour Chetouane, Lorenz Klampfl, Franz Wotawa
2021FCEP: A Fast Concolic Execution for Reaching Software Patches.
Meng Fan, Wenzhi Wang, Aimin Yu, Dan Meng
2021FSSRE: Fusing Semantic Feature and Syntactic Dependencies Feature for threat intelligence Relation Extraction.
Xuren Wang, Mengbo Xiong, Famei He, Peian Yang, Binghua Song, Jun Jiang, Zhengwei Jiang, Zihan Xiong
2021Fine-Grained Neural Network Abstraction for Efficient Formal Verification.
Zhaosen Wen, Weikai Miao, Min Zhang
2021Formal Modeling and Verification of ICN-IoT Middleware Architecture (S).
Hongqin Zhang, Jiaqi Yin, Huibiao Zhu, Ningning Chen
2021Formal specification and model checking of a recoverable wait-free version of MCS.
Duong Dinh Tran, Kentaro Waki, Kazuhiro Ogata
2021Formal verification of Anderson mutual exclusion protocol by introducing an auxiliary variable (S).
Naoki Asae, Duong Dinh Tran, Kazuhiro Ogata
2021Formal verification of IFF and NSLPK authentication protocols with CiMPG (S).
Thet Wai Mon, Shuho Fujii, Duong Dinh Tran, Kazuhiro Ogata
2021Formal verification of multitask hybrid systems by the OTS/CafeOBJ method.
Masaki Nakamura, Kazutoshi Sakakibara, Yuki Okura, Kazuhiro Ogata
2021Formalization and Verification of Dubbo Using CSP.
Zhiru Hou, Jiaqi Yin, Huibiao Zhu
2021From Vulnerability Anti-Patterns to Secure Design Patterns (S).
Alok Chandrakant Ratnaparkhi, Onyeka Ezenwoye, Yi Liu
2021From word embeddings to text similarities for improved semantic clustering of functional requirements (S).
Takwa Kochbati, Sébastien Gérard, Shuai Li, Chokri Mraidha
2021Graph queries for analyzing the coverage of requirements by test cases.
Shingo Ariwaka, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
2021Grasping or Forgetting? MAKT: A Dynamic Model via Multi-head Self-Attention for Knowledge Tracing.
Deming Sheng, Jingling Yuan, Xin Zhang
2021HARP Pro: Hierarchical Representation Learning based on global and local features for social networks.
Wei Zhang, Jing Yang, Fanshu Shang
2021HHML: A Hierarchical Hybrid Modeling Language for Mode-based Periodic Controllers.
Zhiming Hu, Zheng Wang, Hongjian Jiang, Yuyuan Zhang, Yongxin Zhao
2021How MOOC Videos Affect Dropout? A Lightweight Pipeline Making Student Dropout Interpretable From Several Levels.
Deming Sheng, Jingling Yuan, Xin Zhang
2021I-CMOMMT: A multiagent approach for patrolling and observation of mobile targets with a continuous environment representation (S).
Jamy Chahal, Assia Belbachir, Amal El Fallah Seghrouchni
2021Improved Multiple Part Algorithm (IMPA) to extract multiple solutions for RNA sequence classification problem.
Naoual Guannoni, Faouzi Mhamdi, Mourad Elloumi
2021Incorporating Presuppositions of Competency Questions into Test-Driven Development of Ontologies (S).
Jedrzej Potoniec, Dawid Wisniewski, Agnieszka Lawrynowicz
2021Influence Maximization with Consideration of PageRank Centrality and Propagation Probability.
Qi Chen, Rong Yan
2021Inspect Defect of Power Equipment via Deep Learning Method.
Qi Zhang, Qingsong Cai, Jianhui Zheng
2021Intelligent Preprocessing Selection for Pavement Crack Detection based on Deep Reinforcement Learning.
Yan Lin, Guosheng Xu, Guoai Xu, Siyi Li, Jie Deng, Jiankun Cao
2021Investigating Process Algebra Models to Represent Structured Requirements for Time-sensitive CPS.
Mathilde Arnaud, Boutheina Bannour, Arnault Lapitre, Guillaume Giraud
2021KatGCN: Knowledge-Aware Attention based Temporal Graph Convolutional Network for Multi-Event Prediction.
Xin Song, Haiyang Wang, Kang Zeng, Yujia Liu, Bin Zhou
2021Leveraging Compiler Optimization for Code Clone Detection.
Shirish Kumar Singh, Harshit Singhal, Bharavi Mishra
2021MACA: A Residual Network with Multi-Attention and Core Attributes for Code Search (S).
Lian Gu, Zihui Wang, Jiaxin Liu, Yating Zhang, Dong Yang, Wei Dong
2021MT4ImgRec: A Metamorphic Testing Tool for Image Recognition Software.
Dongyu Cao, Hongjing Guo, Chuanqi Tao
2021Model-Agnostic Local Explanations with Genetic Algorithms for Text Classification.
Qingfeng Du, Jincheng Xu
2021Modeling and Verification of CKB Consensus Protocol in UPPAAL (S).
Yi-Chun Feng, Yuteng Lu, Meng Sun
2021Multi-Fusion with Attention Mechanism for 3D Object Detection.
Ning Wang, Ping Sun
2021Multi-Granularity Code Smell Detection using Deep Learning Method based on Abstract Syntax Tree.
Weiwei Xu, Xiaofang Zhang
2021Multi-Label Classification of Parrott's Emotions.
Abhijit Mondal, Swapna S. Gokhale
2021Multiclass Classification of Four Types of UML Diagrams from Images Using Deep Learning.
Sergei Shcherban, Peng Liang, Zengyang Li, Chen Yang
2021NVMSorting: Efficient Sorting on Non-Volatile Memory.
Zhaole Chu, Yongping Luo, Peiquan Jin, Shouhong Wan
2021On Conducting Tests in Software Engineering Courses during the COVID-19 Pandemic (S).
Pankaj Kamthan
2021On Integrating Ethicality in User Stories (S).
Pankaj Kamthan, Nazlie Shahmir
2021Optimal Conjunctive Normal Form Encoding for Symbolic Execution.
Weiyu Pan, Ziqi Shuai, Ke Ma, LuYao Liu
2021Patterns for Reuse in Production Systems Engineering.
Kristof Meixner, Arndt Lüder, Jan Herzog, Dietmar Winkler, Stefan Biffl
2021Post2Event: Extracting Key Events from Microblogs.
Chongwei Wang, Xujian Zhao, Peiquan Jin, Hui Zhang, Chunming Yang, Bo Li
2021Quantifying Synergy between Software Projects using README Files Only (S).
Roxanne El Baff, Sivasurya Santhanam, Tobias Hecking
2021Recurrent Neural Graph Collaborative Filtering.
Beichuan Zhang, Zhijiao Xiao, Sheng-hua Zhong
2021Refactoring Java Code to MapReduce Framework (S).
Rui Feng, Junfeng Zhao
2021Relation Extraction Model Based on Keywords Attention (S).
Yu Chen, Jianxia Chen, Chang Liu, Qi Liu
2021Remaining Activity Sequence Prediction for ongoing process instances.
Xiaoxiao Sun, Yuke Ying, Siqing Yang, Hujun Shen
2021Requirements Formality Levels Analysis and Transformation of Formal Notations into Semi-formal and Informal Notations (S).
Aya Zaki-Ismail, Mohamed Osama, Mohamed Almorsy Abdelrazek, John C. Grundy, Amani S. Ibrahim
2021Revisiting UML Class Relationship Recovery for Online Education (SEKEEO) (S).
Dionysis Athanasopoulos
2021Ride Hailing Service Demand Forecast by Integrating Convolutional and Recurrent Neural Networks.
Zinat Ara, Mahdi Hashemi
2021Risk Analysis for Collaborative Systems during Requirements Engineering (S).
Kirthy Kolluri, Robert Ahn, Lawrence Chung, Tom Hill
2021RoBF: An Auto-Tuning Bloom Filter for Mixed Queries on LSM-Tree.
Ruicheng Liu, Peiquan Jin, Shouhong Wan, Bei Hua
2021SADA: Improved Data Symbolization and Optimization Method on HAR from Microscopic Perspective.
Huichao Men, Botao Wang
2021SMART: Towards Automated Mapping between Data Specifications.
Safia Kalwar, Mersedeh Sadeghi, Alireza Javadian Sabet, Alexander Nemirovskiy, Matteo G. Rossi
2021Software Design Pattern Analysis for Micro-Service Architecture using Queuing Networks (S).
Hanzhong Zheng, Justin Kramer, Shi-Kuo Chang
2021SolDetector: Detect Defects Based on Knowledge Graph of Solidity Smart Contract.
Tianyuan Hu, Zhenyu Pan, Bixin Li
2021Spatial-Temporal Forecast of the probability distribution of Oceanic Nino Index for various lead times.
Jahnavi Jonnalagadda, Mahdi Hashemi
2021Studying the Impact of the User Subscription Times in Different Cloud Configurations.
Hernán-Indibil de la Cruz, María-Emilia Cambronero, Valentín Valero, Pablo C. Cañizares, Adrian Bernal, Alberto Núñez
2021The 33rd International Conference on Software Engineering and Knowledge Engineering, SEKE 2021, KSIR Virtual Conference Center, USA, July 1 - July 10, 2021.
Shi-Kuo Chang
2021Towards Automatically Generating Release Notes using Extractive Summarization Technique.
Sristy Sumana Nath, Banani Roy
2021Towards a Better Understanding of Gradient-Based Explanatory Methods in NLP.
Qingfeng Du, Jincheng Xu
2021Towards a Comprehensive Understanding of Agile Teamwork: A literature-based Thematic Network.
Arthur Silva Freire, Manuel Neto, Mirko Perkusich, Alexandre Costa, Kyller Costa Gorgônio, Hyggo O. Almeida, Angelo Perkusich
2021Towards the integration of the GDPR in the Unified Software Development Process (S).
Elena Gómez-Martínez, Miguel Marroyo, Silvia Teresita Acuña
2021Transfer Learning-based City Similarity Measurement: A Case Study on Urban Hotel (S).
Ganghua Zhang, Xiaoping Che, Shiyao Wei, Tao Na
2021Tree Ensemble Property Verification from A Testing Perspective.
Bohao Wang, Zhe Hou, Gelin Zhang, Jianqi Shi, Yanhong Huang
2021Triangle Counting by Adaptively Resampling over Evolving Graph Streams.
Wei Xuan, Huawei Cao, Mingyu Yan, Zhimin Tang, Xiaochun Ye, Dongrui Fan
2021Understanding the Impact of COVID-19 on Github Developers: A Preliminary Study.
Liu Wang, Ruiqing Li, Jiaxin Zhu, Guangdong Bai, Weihang Su, Haoyu Wang
2021Unsupervised Anomaly Detection Based on System Logs.
Hao Chen, Ruizhi Xiao, Shuyuan Jin
2021Using LSTM to Predict Tactics in Coq.
Xiaokun Luan, Xiyue Zhang, Meng Sun
2021Using Surrounding Text of Formula towards More Accurate Mathematical Information Retrieval.
Cheng Chen, Yifan Dai, Yuqi Shen, Jinfang Cai, Liangyu Chen
2021Using the Normalized Levenshtein Distance to Analyze Relationship between Faults and Local Variables with Confusing Names: A further Investigation (S).
Carmine Gravino, Alessandra Orsi, Michele Risi
2021Water-Wheel: Real-Time Storage with High Throughput and Scalability for Big Data Streams.
Yanqi Lv, Ruicheng Liu, Peiquan Jin
2021What Do Developers Reply To? An Empirical Study of the Top Unmanned Aerial Vehicles (UAVs) Apps (S).
Fatma Outay, Haroon Malik, David A. Dampier
2021Which Factors Affect Q-Learning-based Automated Android Testing? - A Study Focusing on Algorithm, Learning Target, and Reward Function -.
Yuki Moriguchi, Shingo Takada