|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1187 occurrences of 727 keywords
|
|
|
|
|
Results
Found 2695 publication records. Showing 2695 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Leonhard Applis, Annibale Panichella, Arie van Deursen |
Assessing Robustness of ML-Based Program Analysis Tools using Metamorphic Program Transformations.  |
ASE  |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Qiang Liu, Cen Zhang, Lin Ma, Muhui Jiang, Yajin Zhou, Lei Wu 0012, Wenbo Shen, Xiapu Luo, Yang Liu 0003, Kui Ren 0001 |
FirmGuide: Boosting the Capability of Rehosting Embedded Linux Kernels through Model-Guided Kernel Execution. |
ASE |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Cen Zhang, Yuekang Li, Hongxu Chen 0001, Xiaoxing Luo, Miaohua Li, Anh Quynh Nguyen, Yang Liu 0003 |
BIFF: Practical Binary Fuzzing Framework for Programs of IoT and Mobile Devices. |
ASE |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Penghui Li 0001, Yinxi Liu, Wei Meng 0001 |
Understanding and Detecting Performance Bugs in Markdown Compilers. |
ASE |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Ali Shokri 0003 |
A Program Synthesis Approach for Adding Architectural Tactics to An Existing Code Base. |
ASE |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiyuan Wang, Qian Zhang 0020, Guoqing Harry Xu, Miryung Kim |
QDiff: Differential Testing of Quantum Software Stacks. |
ASE |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Hao Zhou, Haoyu Wang 0001, Yajin Zhou, Xiapu Luo, Yutian Tang, Lei Xue 0001, Ting Wang 0006 |
Demystifying Diehard Android Apps. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Lei Liu, Mehdi Bahrami, Wei-Peng Chen |
Automatic Generation of IFTTT Mashup Infrastructures. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Stratos Kourtzanidis, Alexander Chatzigeorgiou, Apostolos Ampatzoglou |
RepoSkillMiner: Identifying software expertise from GitHub repositories using Natural Language Processing. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhengzi Xu |
Source Code and Binary Level Vulnerability Detection and Hot Patching. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Yiqun T. Chen, Rahul Gopinath, Anita Tadakamalla, Michael D. Ernst, Reid Holmes, Gordon Fraser 0001, Paul Ammann, René Just |
Revisiting the Relationship Between Fault Detection, Test Adequacy Criteria, and Test Set Size. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Yu Feng 0001, Emina Torlak, Rastislav Bodík |
Summary-Based Symbolic Evaluation for Smart Contracts. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Meixi Liu, Weijiang Hong, Weiyu Pan, Chendong Feng, Zhenbang Chen, Ji Wang 0001 |
Styx: A Data-Oriented Mutation Framework to Improve the Robustness of DNN. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Karine Even-Mendoza, Cristian Cadar, Alastair F. Donaldson |
Closer to the Edge: Testing Compilers More Thoroughly by Being Less Conservative About Undefined Behaviour. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Yue Zou, Bihuan Ban, Yinxing Xue, Yun Xu |
CCGraph: a PDG-based code clone detector with approximate graph matching. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Fang Liu 0032, Ge Li 0001, Yunfei Zhao, Zhi Jin |
Multi-task Learning based Pre-trained Language Model for Code Completion. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Hao Zhou, Ting Chen 0002, Haoyu Wang 0001, Le Yu 0002, Xiapu Luo, Ting Wang 0006, Wei Zhang 0122 |
UI Obfuscation and Its Effects on Automated UI Analysis for Android Apps. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Qianyu Guo, Xiaofei Xie, Yi Li 0008, Xiaoyu Zhang, Yang Liu 0003, Xiaohong Li 0001, Chao Shen 0001 |
Audee: Automated Testing for Deep Learning Frameworks. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Mühlbauer, Sven Apel, Norbert Siegmund |
Identifying Software Performance Changes Across Variants and Versions. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Mariano, Yanju Chen, Yu Feng 0001, Shuvendu K. Lahiri, Isil Dillig |
Demystifying Loops in Smart Contracts. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Anjana Perera |
Using Defect Prediction to Improve the Bug Detection Capability of Search-Based Software Testing. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Haruki Yokoyama, Satoshi Onoue, Shinji Kikuchi |
Towards Building Robust DNN Applications: An Industrial Case Study of Evolutionary Data Augmentation. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Egor Bogomolov, Yaroslav Golubev, Artyom Lobanov, Vladimir Kovalenko, Timofey Bryksin |
Sosed: a tool for finding similar software projects. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Clerissi, Giovanni Denaro, Marco Mobilio, Leonardo Mariani |
Plug the Database & Play With Automatic Testing: Improving System Testing by Exploiting Persistent Data. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Qihao Zhu, Zeyu Sun 0004, Xiran Liang, Yingfei Xiong 0001, Lu Zhang 0023 |
OCoR: An Overlapping-Aware Code Retriever. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Julian Frattini, Maximilian Junker, Michael Unterkalmsteiner, Daniel Méndez 0001 |
Automatic Extraction of Cause-Effect-Relations from Requirements Artifacts. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Haicheng Chen, Wensheng Dou, Dong Wang, Feng Qin |
CoFI: Consistency-Guided Fault Injection for Cloud Systems. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Chandan Sharma |
FLUX: From SQL to GQL query translation tool. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Katis, Grigory Fedyukovich, Jeffrey Chen, David A. Greve, Sanjai Rayadurgam, Michael W. Whalen |
Synthesis of Infinite-State Systems with Random Behavior. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Marta Kwiatkowska |
Safety and Robustness for Deep Learning with Provable Guarantees. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Shawn Rasheed, Jens Dietrich 0001 |
A Hybrid Analysis to Detect Java Serialisation Vulnerabilities. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Jian Zhang, Xu Wang 0007, Hongyu Zhang 0002, Hailong Sun 0001, Yanjun Pu, Xudong Liu 0001 |
Learning to Handle Exceptions. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Songqiang Chen, Xiaoyuan Xie, Bangguo Yin, Yuanxiang Ji, Lin Chen 0015, Baowen Xu |
Stay Professional and Efficient: Automatically Generate Titles for Your Bug Reports. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Johannes Dorn, Sven Apel, Norbert Siegmund |
Mastering Uncertainty in Performance Estimations of Configurable Software Systems. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Runze Yu, Youzhe Zhang, Jifeng Xuan |
MetPurity: A Learning-Based Tool of Pure Method Identification for Automatic Test Generation. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Facundo Molina |
Applying Learning Techniques to Oracle Synthesis. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Hao Wang, Guoping Rong, Yangchen Xu, Yong You |
ImpAPTr: A Tool For Identifying The Clues To Online Service Anomalies. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Yongsik Kim, SoAh Min, Youkyung Kim |
The New Approach to IT Testing : Real Transaction-Based Automated Validation Solution. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Haichi Wang, Zan Wang, Jun Sun 0001, Shuang Liu 0007, Ayesha Sadiq, Yuan-Fang Li |
Towards Generating Thread-Safe Classes Automatically. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Beatriz Souza |
Identifying Mutation Subsumption Relations. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Yu Huang, Benjamin Ogles, Eric Mercer |
A Predictive Analysis for Detecting Deadlock in MPI Programs. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhongxin Liu, Xin Xia 0001, Meng Yan 0001, Shanping Li |
Automating Just-In-Time Comment Updating. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Xuansong Li, Wei Song 0003, Xiangyu Zhang 0001 |
Towards Programming and Verification for Activity-Oriented Smart Home Systems. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Yangruibo Ding, Baishakhi Ray, Premkumar T. Devanbu, Vincent J. Hellendoorn |
Patching as Translation: the Data and the Metaphor. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Rohit Mehra, Vibhu Saujanya Sharma, Vikrant Kaulgud, Sanjay Podder, Adam P. Burden |
Towards Immersive Comprehension of Software Systems Using Augmented Reality - An Empirical Evaluation. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Yeting Li, Zhiwu Xu 0001, Jialun Cao, Haiming Chen, Tingjian Ge, Shing-Chi Cheung, Haoren Zhao |
FlashRegex: Deducing Anti-ReDoS Regexes from Examples. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Jinhao Dong, Yiling Lou, Dan Hao 0001 |
SRRTA: Regression Testing Acceleration via State Reuse. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Dongge Liu, Gidon Ernst, Toby Murray, Benjamin I. P. Rubinstein |
LEGION: Best-First Concolic Testing. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Muhammad Usman 0024, Wenxi Wang, Sarfraz Khurshid |
TestMC: Testing Model Counters using Differential and Metamorphic Testing. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Mattia Fazzini, Alessandro Orso |
Managing App Testing Device Clouds: Issues and Opportunities. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Xin Wang 0114, Jin Liu 0016, Li Li 0029, Xiao Chen 0002, Xiao Liu 0004, Hao Wu 0010 |
Detecting and Explaining Self-Admitted Technical Debts with Attention-based Neural Networks. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Chaiyakarn Khanan, Worawit Luewichana, Krissakorn Pruktharathikoon, Jirayus Jiarpakdee, Chakkrit Tantithamthavorn, Morakot Choetkiertikul, Chaiyong Ragkhitwetsagul, Thanwadee Sunetnanta |
JITBot: An Explainable Just-In-Time Defect Prediction Bot. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Pouria Derakhshanfar, Xavier Devroey, Annibale Panichella, Andy Zaidman, Arie van Deursen |
Botsing, a Search-based Crash Reproduction Framework for Java. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Likang Yin, Vladimir Filkov |
Team Discussions and Dynamics During DevOps Tool Adoptions in OSS Projects. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhe Liu 0025 |
Discovering UI Display Issues with Visual Understanding. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikhil Pimpalkhare |
Dynamic Algorithm Selection for SMT. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Xian Zhan, Lingling Fan 0003, Tianming Liu 0002, Sen Chen 0001, Li Li 0029, Haoyu Wang 0001, Yifei Xu, Xiapu Luo, Yang Liu 0003 |
Automated Third-Party Library Detection for Android Applications: Are We There Yet? |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Junjie Chen 0003, Haoyang Ma, Lingming Zhang 0001 |
Enhanced Compiler Bug Isolation via Memoized Search. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Qi Xin, Myeongsoo Kim, Qirun Zhang, Alessandro Orso |
Subdomain-Based Generality-Aware Debloating. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Bolin Wei, Yongmin Li, Ge Li 0001, Xin Xia 0001, Zhi Jin |
Retrieve and Refine: Exemplar-based Neural Comment Generation. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Yida Tao, Jiefang Jiang, Yepang Liu 0001, Zhiwu Xu 0001, Shengchao Qin |
Understanding Performance Concerns in the API Documentation of Data Science Libraries. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Zehua Chen, Zhenbang Chen, Ziqi Shuai, Yufeng Zhang 0001, Weiyu Pan |
Synthesizing Smart Solving Strategy for Symbolic Execution. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Gafford, Tobias Dürschmid, Gabriel A. Moreno, Eunsuk Kang |
Synthesis-Based Resolution of Feature Interactions in Cyber-Physical Systems. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiawei Wang 0003, Tzu-yang Kuo, Li Li 0029, Andreas Zeller |
Assessing and Restoring Reproducibility of Jupyter Notebooks. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Jia Xu 0010, Xiao Liu 0004, Xuejun Li 0001, Lei Zhang, Yun Yang 0001 |
Express: An Energy-Efficient and Secure Framework for Mobile Edge Computing and Blockchain based Smart Systems**This research is in part supported by the National Natural Science Foundation of China Project No. 61972001. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Sungho Lee, Hyogun Lee, Sukyoung Ryu |
Broadening Horizons of Multilingual Static Analysis: Semantic Summary Extraction from C Code for JNI Program Analysis. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Chaima Boufaied, Claudio Menghi, Domenico Bianculli, Lionel C. Briand, Yago Isasi Parache |
Trace-Checking Signal-based Temporal Properties: A Model-Driven Approach. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiangzhe Xu |
The Classification and Propagation of Program Comments. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Junjie Chen 0003, Shu Zhang, Xiaoting He, Qingwei Lin, Hongyu Zhang 0002, Dan Hao 0001, Yu Kang 0006, Feng Gao 0022, Zhangwei Xu, Yingnong Dang, Dongmei Zhang 0001 |
How Incidental are the Incidents? Characterizing and Prioritizing Incidents for Large-Scale Online Service Systems. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Jun-Wei Lin, Navid Salehnamadi, Sam Malek |
Test Automation in Open-Source Android Apps: A Large-Scale Empirical Study. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Navid Salehnamadi, Abdulaziz Alshayban, Iftekhar Ahmed 0001, Sam Malek |
ER Catcher: A Static Analysis Framework for Accurate and Scalable Event-Race Detection in Android. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Xingyu Zhao 0001, Radu Calinescu, Simos Gerasimou, Valentin Robu, David Flynn |
Interval Change-Point Detection for Runtime Probabilistic Model Checking. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Pouria Derakhshanfar, Xavier Devroey, Andy Zaidman, Arie van Deursen, Annibale Panichella |
Good Things Come In Threes: Improving Search-based Crash Reproduction With Helper Objectives. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Pengfei Gao |
Formal Verification of Masking Countermeasures for Arithmetic Programs. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Ke Li 0001, Zilin Xiang, Tao Chen 0001, Kay Chen Tan |
BiLO-CPDP: Bi-Level Programming for Automated Model Discovery in Cross-Project Defect Prediction. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Junming Cao, Shouliang Yang, Wenhui Jiang, Hushuang Zeng, Beijun Shen, Hao Zhong 0001 |
BugPecker: Locating Faulty Methods with Deep Learning on Revision Graphs. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Weijun Shen, Yanhui Li, Lin Chen 0015, Yuanlei Han, Yuming Zhou, Baowen Xu |
Multiple-Boundary Clustering and Prioritization to Promote Neural Network Retraining. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Jihyeok Park, Jihee Park, Seungmin An, Sukyoung Ryu |
JISET: JavaScript IR-based Semantics Extraction Toolchain. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Han Gao, Yi Xu, Xiao Liu 0004, Jia Xu 0010, Tianxiang Chen, Bowen Zhou, Rui Li, Xuejun Li 0001 |
Edge4Sys: A Device-Edge Collaborative Framework for MEC based Smart Systems. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Qian Zhang 0020, Jiyuan Wang, Muhammad Ali Gulzar, Rohan Padhye, Miryung Kim |
BigFuzz: Efficient Fuzz Testing for Data Analytics Using Framework Abstraction. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Mingyang Li, Lin Shi 0006, Ye Yang, Qing Wang 0001 |
A Deep Multitask Learning Approach for Requirements Discovery and Annotation from Open Forum. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Christos Tsigkanos, Nianyu Li, Zhi Jin, Zhenjiang Hu, Carlo Ghezzi |
Scalable Multiple-View Analysis of Reactive Systems via Bidirectional Model Transformations. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Nils Wieber |
Automated Generation of Client-Specific Backends Utilizing Existing Microservices and Architectural Knowledge. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Aryaz Eghbali, Michael Pradel |
No Strings Attached: An Empirical Study of String-related Software Bugs. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Bihuan Chen 0001, Linlin Chen, Chen Zhang, Xin Peng 0001 |
BUILDFAST: History-Aware Build Outcome Prediction for Fast Feedback and Reduced Cost in Continuous Integration. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Tianqi Zhang, Yufeng Zhang 0001, Zhenbang Chen, Ziqi Shuai, Ji Wang 0001 |
Efficient Multiplex Symbolic Execution with Adaptive Search Strategy. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Ramos, Jorge Pereira, Inês Lynce, Vasco M. Manquinho, Ruben Martins |
UNCHARTIT: An Interactive Framework for Program Recovery from Charts. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Chengyuan Wen, Yaxuan Zhang, Xiao He 0005, Na Meng 0001 |
Inferring and Applying Def-Use Like Configuration Couplings in Deployment Descriptors. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Cao, Sahar Badihi, Khaled Ahmed 0004, Peiyu Xiong, Julia Rubin |
On Benign Features in Malware Detection. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Hengcheng Zhu, Lili Wei, Ming Wen 0001, Yepang Liu 0001, Shing-Chi Cheung, Qin Sheng, Cui Zhou |
MockSniffer: Characterizing and Recommending Mocking Decisions for Unit Tests. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Stahlbauer, Christoph Frädrich, Gordon Fraser 0001 |
Verified from Scratch: Program Analysis for Learners' Programs. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Timotej Kapus, Frank Busse, Cristian Cadar |
Pending Constraints in Symbolic Execution for Better Exploration and Seeding. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | |
35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020 |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Mattia Fazzini, Alessandra Gorla, Alessandro Orso |
A Framework for Automated Test Mocking of Mobile Apps. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Cedric Richter, Heike Wehrheim |
Attend and Represent: A Novel View on Algorithm Selection for Software Verification. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Chenqian Zhu, Weisong Sun, Qin Liu 0002, Yangyang Yuan, Chunrong Fang, Yong Huang |
HomoTR: Online Test Recommendation System Based on Homologous Code Matching. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Yi Liu, Jinhui Xie, Jianbo Yang, Shiyu Guo, Yuetang Deng, Shuqing Li, Yechang Wu, Yepang Liu 0001 |
Industry Practice of JavaScript Dynamic Analysis on WeChat Mini-Programs. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Nic Volanschi, Julia Lawall |
The Impact of Generic Data Structures: Decoding the Role of Lists in the Linux Kernel. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Bodin Chinthanet, Serena Elisa Ponta, Henrik Plate, Antonino Sabetta, Raula Gaikovina Kula, Takashi Ishio, Kenichi Matsumoto |
Code-Based Vulnerability Detection in Node.js Applications: How far are we? |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Di Shao, Xiao Liu 0004, Ben Cheng, Owen Wang, Thuong N. Hoang |
Edge4Real: A Cost-Effective Edge Computing based Human Behaviour Recognition System for Human-Centric Software Engineering. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
Displaying result #601 - #700 of 2695 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ 16][ >>] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license