| 2019 | 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019, San Diego, CA, USA, November 11-15, 2019 |
| 2019 | A Journey Towards Providing Intelligence and Actionable Insights to Development Teams in Software Delivery. Vibhu Saujanya Sharma, Rohit Mehra, Sanjay Podder, Adam P. Burden |
| 2019 | A Machine Learning Based Approach to Identify SQL Injection Vulnerabilities. Kevin Zhang |
| 2019 | A Qualitative Analysis of Android Taint-Analysis Results. Linghui Luo, Eric Bodden, Johannes Späth |
| 2019 | A Quantitative Analysis Framework for Recurrent Neural Network. Xiaoning Du, Xiaofei Xie, Yi Li, Lei Ma, Yang Liu, Jianjun Zhao |
| 2019 | A Study of Oracle Approximations in Testing Deep Learning Libraries. Mahdi Nejadgholi, Jinqiu Yang |
| 2019 | ACTGAN: Automatic Configuration Tuning for Software Systems with Generative Adversarial Networks. Liang Bao, Xin Liu, Fangzheng Wang, Baoyin Fang |
| 2019 | API Design Implications of Boilerplate Client Code. Daye Nam |
| 2019 | Accurate Modeling of Performance Histories for Evolving Software Systems. Stefan Mühlbauer, Sven Apel, Norbert Siegmund |
| 2019 | Accurate String Constraints Solution Counting with Weighted Automata. Elena Sherman, Andrew Harris |
| 2019 | Active Hotspot: An Issue-Oriented Model to Monitor Software Evolution and Degradation. Qiong Feng, Yuanfang Cai, Rick Kazman, Di Cui, Ting Liu, Hongzhou Fang |
| 2019 | An Approach for Investigating Emotion Dynamics in Software Development. Krishna Prasad Neupane |
| 2019 | An Empirical Study Towards Characterizing Deep Learning Development and Deployment Across Different Frameworks and Platforms. Qianyu Guo, Sen Chen, Xiaofei Xie, Lei Ma, Qiang Hu, Hongtao Liu, Yang Liu, Jianjun Zhao, Xiaohong Li |
| 2019 | An Experience Report of Generating Load Tests Using Log-Recovered Workloads at Varying Granularities of User Behaviour. Jinfu Chen, Weiyi Shang, Ahmed E. Hassan, Yong Wang, Jiangbin Lin |
| 2019 | An Image-Inspired and CNN-Based Android Malware Detection Approach. Xusheng Xiao |
| 2019 | An Industrial Experience Report on Performance-Aware Refactoring on a Database-Centric Web Application. Boyuan Chen, Zhen Ming Jiang, Paul Matos, Michael Lacaria |
| 2019 | Apricot: A Weight-Adaptation Approach to Fixing Deep Learning Models. Hao Zhang, W. K. Chan |
| 2019 | Ares: Inferring Error Specifications through Static Analysis. Chi Li, Min Zhou, Zuxing Gu, Ming Gu, Hongyu Zhang |
| 2019 | Assessing the Generalizability of Code2vec Token Embeddings. Hong Jin Kang, Tegawendé F. Bissyandé, David Lo |
| 2019 | AutoFocus: Interpreting Attention-Based Neural Networks by Code Perturbation. Nghi D. Q. Bui, Yijun Yu, Lingxiao Jiang |
| 2019 | Automated Refactoring to Reactive Programming. Mirko Köhler, Guido Salvaneschi |
| 2019 | Automated Trainability Evaluation for Smart Software Functions. Ilias Gerostathopoulos, Stefan Kugele, Christoph Segler, Tomás Bures, Alois C. Knoll |
| 2019 | Automatic Generation of Graphical User Interface Prototypes from Unrestricted Natural Language Requirements. Kristian Kolthoff |
| 2019 | Automatic Generation of Pull Request Descriptions. Zhongxin Liu, Xin Xia, Christoph Treude, David Lo, Shanping Li |
| 2019 | Automatic Self-Validation for Code Coverage Profilers. Yibiao Yang, Yanyan Jiang, Zhiqiang Zuo, Yang Wang, Hao Sun, Hongmin Lu, Yuming Zhou, Baowen Xu |
| 2019 | Automatically Repairing Binary Programs Using Adapter Synthesis. Vaibhav Sharma |
| 2019 | Automating App Review Response Generation. Cuiyun Gao, Jichuan Zeng, Xin Xia, David Lo, Michael R. Lyu, Irwin King |
| 2019 | Automating CUDA Synchronization via Program Transformation. Mingyuan Wu, Lingming Zhang, Cong Liu, Shin Hwei Tan, Yuqun Zhang |
| 2019 | Automating Non-Blocking Synchronization In Concurrent Data Abstractions. Jiange Zhang, Qing Yi, Damian Dechev |
| 2019 | B2SFinder: Detecting Open-Source Software Reuse in COTS Software. Muyue Feng, Zimu Yuan, Feng Li, Gu Ban, Shiyang Wang, Qian Tang, He Su, Chendong Yu, Jiahuan Xu, Aihua Piao, Jingling Xue, Wei Huo |
| 2019 | Batch Alias Analysis. Jyothi Vedurada, V. Krishna Nandivada |
| 2019 | Better Development of Safety Critical Systems: Chinese High Speed Railway System Development Experience Report. Zhiwei Wu, Jing Liu, Xiang Chen |
| 2019 | Boosting Neural Commit Message Generation with Code Semantic Analysis. Shuyao Jiang |
| 2019 | BuRRiTo: A Framework to Extract, Specify, Verify and Analyze Business Rules. Pavan Kumar Chittimalli, Kritika Anand, Shrishti Pradhan, Sayandeep Mitra, Chandan Prakash, Rohit Shere, Ravindra Naik |
| 2019 | CLCDSA: Cross Language Code Clone Detection using Syntactical Features and API Documentation. Kawser Wazed Nafi, Tonny Shekha Kar, Banani Roy, Chanchal K. Roy, Kevin A. Schneider |
| 2019 | CONVUL: An Effective Tool for Detecting Concurrency Vulnerabilities. Ruijie Meng, Biyun Zhu, Hao Yun, Haicheng Li, Yan Cai, Zijiang Yang |
| 2019 | Cautious Adaptation of Defiant Components. Paulo Henrique M. Maia, Lucas Vieira, Matheus Lima Chagas, Yijun Yu, Andrea Zisman, Bashar Nuseibeh |
| 2019 | Characterizing Android App Signing Issues. Haoyu Wang, Hongxuan Liu, Xusheng Xiao, Guozhu Meng, Yao Guo |
| 2019 | CoRA: Decomposing and Describing Tangled Code Changes for Reviewer. Min Wang, Zeqi Lin, Yanzhen Zou, Bing Xie |
| 2019 | CocoQa: Question Answering for Coding Conventions Over Knowledge Graphs. Tianjiao Du, Junming Cao, Qinyue Wu, Wei Li, Beijun Shen, Yuting Chen |
| 2019 | Code-First Model-Driven Engineering: On the Agile Adoption of MDE Tooling. Artur Boronat |
| 2019 | CodeKernel: A Graph Kernel Based Approach to the Selection of API Usage Examples. Xiaodong Gu, Hongyu Zhang, Sunghun Kim |
| 2019 | Combining Program Analysis and Statistical Language Model for Code Statement Completion. Son Van Nguyen, Tien N. Nguyen, Yi Li, Shaohua Wang |
| 2019 | Combining Spectrum-Based Fault Localization and Statistical Debugging: An Empirical Study. Jiajun Jiang, Ran Wang, Yingfei Xiong, Xiangping Chen, Lu Zhang |
| 2019 | Compile-Time Detection of Machine Image Sniping. Martin Kellogg |
| 2019 | Continuous Incident Triage for Large-Scale Online Service Systems. Junjie Chen, Xiaoting He, Qingwei Lin, Hongyu Zhang, Dan Hao, Feng Gao, Zhangwei Xu, Yingnong Dang, Dongmei Zhang |
| 2019 | Coverage-Guided Fuzzing for Feedforward Neural Networks. Xiaofei Xie, Hongxu Chen, Yi Li, Lei Ma, Yang Liu, Jianjun Zhao |
| 2019 | Crowdsourced Report Generation via Bug Screenshot Understanding. Shengcheng Yu |
| 2019 | DIRE: A Neural Approach to Decompiled Identifier Naming. Jeremy Lacomis, Pengcheng Yin, Edward J. Schwartz, Miltiadis Allamanis, Claire Le Goues, Graham Neubig, Bogdan Vasilescu |
| 2019 | DaPanda: Detecting Aggressive Push Notifications in Android Apps. Tianming Liu, Haoyu Wang, Li Li, Guangdong Bai, Yao Guo, Guoai Xu |
| 2019 | Debreach: Mitigating Compression Side Channels via Static Analysis and Transformation. Brandon Paulsen, Chungha Sung, Peter A. H. Peterson, Chao Wang |
| 2019 | DeepMutation++: A Mutation Testing Framework for Deep Learning Systems. Qiang Hu, Lei Ma, Xiaofei Xie, Bing Yu, Yang Liu, Jianjun Zhao |
| 2019 | Demystifying Application Performance Management Libraries for Android. Yutian Tang, Xian Zhan, Hao Zhou, Xiapu Luo, Zhou Xu, Yajin Zhou, Qiben Yan |
| 2019 | Detecting Error-Handling Bugs without Error Specification Input. Zhouyang Jia, Shanshan Li, Tingting Yu, Xiangke Liao, Ji Wang, Xiaodong Liu, Yunhuai Liu |
| 2019 | Developer Reputation Estimator (DRE). Sadika Amreen, Andrey Karnauch, Audris Mockus |
| 2019 | Discovering, Explaining and Summarizing Controversial Discussions in Community Q&A Sites. Xiaoxue Ren, Zhenchang Xing, Xin Xia, Guoqiang Li, Jianling Sun |
| 2019 | Efficient Test Generation Guided by Field Coverage Criteria. Ariel Godio, Valeria S. Bengolea, Pablo Ponzio, Nazareno Aguirre, Marcelo Fabian Frias |
| 2019 | Efficient Transaction-Based Deterministic Replay for Multi-threaded Programs. Ernest Bota Pobee, Xiupei Mei, Wing Kwong Chan |
| 2019 | Emotions Extracted from Text vs. True Emotions-An Empirical Evaluation in SE Context. Yi Wang |
| 2019 | Empirical Evaluation of the Impact of Class Overlap on Software Defect Prediction. Lina Gong, Shujuan Jiang, Rongcun Wang, Li Jiang |
| 2019 | Empirical Study of Programming to an Interface. Benoît Verhaeghe, Christopher P. Fuhrman, Latifa Guerrouj, Nicolas Anquetil, Stéphane Ducasse |
| 2019 | Empirical Study of Python Call Graph. Li Yu |
| 2019 | Enabling Continuous Improvement of a Continuous Integration Process. Carmine Vassallo |
| 2019 | Experience Paper: Search-Based Testing in Automated Driving Control Applications. Christoph Gladisch, Thomas Heinz, Christian Heinzemann, Jens Oehlerking, Anne von Vietinghoff, Tim Pfitzer |
| 2019 | FPChecker: Detecting Floating-Point Exceptions in GPU Applications. Ignacio Laguna |
| 2019 | Feature-Interaction Aware Configuration Prioritization for Configurable Code. Son Nguyen, Hoan Nguyen, Ngoc M. Tran, Hieu Tran, Tien N. Nguyen |
| 2019 | Fine-Grain Memory Object Representation in Symbolic Execution. Martin Nowack |
| 2019 | FogWorkflowSim: An Automated Simulation Toolkit for Workflow Performance Evaluation in Fog Computing. Xiao Liu, Lingmin Fan, Jia Xu, Xuejun Li, Lina Gong, John C. Grundy, Yun Yang |
| 2019 | Generating Tests to Analyse Dynamically-Typed Programs. Stephan Lukasczyk |
| 2019 | Get Rid of Inline Assembly through Verification-Oriented Lifting. Frédéric Recoules, Sébastien Bardin, Richard Bonichon, Laurent Mounier, Marie-Laure Potet |
| 2019 | Goal-Driven Exploration for Android Applications. Duling Lai, Julia Rubin |
| 2019 | Grading-Based Test Suite Augmentation. Jonathan Osei-Owusu, Angello Astorga, Liia Butler, Tao Xie, Geoffrey Challen |
| 2019 | History-Guided Configuration Diversification for Compiler Test-Program Generation. Junjie Chen, Guancheng Wang, Dan Hao, Yingfei Xiong, Hongyu Zhang, Lu Zhang |
| 2019 | How Do API Selections Affect the Runtime Performance of Data Analytics Tasks? Yida Tao, Shan Tang, Yepang Liu, Zhiwu Xu, Shengchao Qin |
| 2019 | Humanoid: A Deep Learning-Based Approach to Automated Black-box Android App Testing. Yuanchun Li, Ziyue Yang, Yao Guo, Xiangqun Chen |
| 2019 | Improving Collaboration Efficiency in Fork-Based Development. Shurui Zhou |
| 2019 | Improving Patch Quality by Enhancing Key Components of Automatic Program Repair. Mauricio Soto |
| 2019 | Improving the Decision-Making Process of Self-Adaptive Systems by Accounting for Tactic Volatility. Jeffrey Palmerino, Qi Yu, Travis Desell, Daniel E. Krutz |
| 2019 | InFix: Automatically Repairing Novice Program Inputs. Madeline Endres, Georgios Sakkas, Benjamin Cosman, Ranjit Jhala, Westley Weimer |
| 2019 | Inference of Properties from Requirements and Automation of Their Formal Verification. Marina Reich |
| 2019 | Inferring Program Transformations From Singular Examples via Big Code. Jiajun Jiang, Luyao Ren, Yingfei Xiong, Lingming Zhang |
| 2019 | Kotless: A Serverless Framework for Kotlin. Vladislav Tankov, Yaroslav Golubev, Timofey Bryksin |
| 2019 | LIRAT: Layout and Image Recognition Driving Automated Mobile Testing of Cross-Platform. Shengcheng Yu, Chunrong Fang, Yang Feng, Wenyuan Zhao, Zhenyu Chen |
| 2019 | Lancer: Your Code Tell Me What You Need. Shufan Zhou, Beijun Shen, Hao Zhong |
| 2019 | Learning from Examples to Find Fully Qualified Names of API Elements in Code Snippets. C. M. Khaled Saifullah, Muhammad Asaduzzaman, Chanchal K. Roy |
| 2019 | Learning-Guided Network Fuzzing for Testing Cyber-Physical System Defences. Yuqi Chen, Christopher M. Poskitt, Jun Sun, Sridhar Adepu, Fan Zhang |
| 2019 | Logzip: Extracting Hidden Structures via Iterative Clustering for Log Compression. Jinyang Liu, Jieming Zhu, Shilin He, Pinjia He, Zibin Zheng, Michael R. Lyu |
| 2019 | MAP-Coverage: A Novel Coverage Criterion for Testing Thread-Safe Classes. Zan Wang, Yingquan Zhao, Shuang Liu, Jun Sun, Xiang Chen, Huarui Lin |
| 2019 | MARBLE: Mining for Boilerplate Code to Identify API Usability Problems. Daye Nam, Amber Horvath, Andrew Macvean, Brad A. Myers, Bogdan Vasilescu |
| 2019 | Machine Learning Based Recommendation of Method Names: How Far are We. Lin Jiang, Hui Liu, He Jiang |
| 2019 | MalScan: Fast Market-Wide Mobile Malware Scanning by Social-Network Centrality Analysis. Yueming Wu, Xiaodi Li, Deqing Zou, Wei Yang, Xin Zhang, Hai Jin |
| 2019 | Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts. Mark Mossberg, Felipe Manzano, Eric Hennenfent, Alex Groce, Gustavo Grieco, Josselin Feist, Trent Brunson, Artem Dinaburg |
| 2019 | Model Checking Embedded Control Software using OS-in-the-Loop CEGAR. Dongwoo Kim, Yunja Choi |
| 2019 | MuSC: A Tool for Mutation Testing of Ethereum Smart Contract. Zixin Li, Haoran Wu, Jiehui Xu, Xingya Wang, Lingming Zhang, Zhenyu Chen |
| 2019 | Multi-modal Attention Network Learning for Semantic Source Code Retrieval. Yao Wan, Jingdong Shu, Yulei Sui, Guandong Xu, Zhou Zhao, Jian Wu, Philip S. Yu |
| 2019 | MutAPK: Source-Codeless Mutant Generation for Android Apps. Camilo Andrés Escobar-Velasquez, Michael Osorio-Riaño, Mario Linares-Vásquez |
| 2019 | Mutation Analysis for Coq. Ahmet Çelik, Karl Palmskog, Marinela Parovic, Emilio Jesús Gallego Arias, Milos Gligoric |
| 2019 | NeuralVis: Visualizing and Interpreting Deep Learning Models. Xufan Zhang, Ziyue Yin, Yang Feng, Qingkai Shi, Jia Liu, Zhenyu Chen |
| 2019 | OAUTHLINT: An Empirical Study on OAuth Bugs in Android Applications. Tamjid Al Rahat, Yu Feng, Yuan Tian |
| 2019 | PHANTA: Diversified Test Code Quality Measurement for Modern Software Development. Susumu Tokumoto, Kuniharu Takayama |
| 2019 | PMExec: An Execution Engine of Partial UML-RT Models. Mojtaba Bagherzadeh, Karim Jahed, Nafiseh Kahani, Juergen Dingel |
| 2019 | PTracer: A Linux Kernel Patch Trace Bot. Yang Wen, Jicheng Cao, Shengyu Cheng |
| 2019 | Pangolin: An SFL-Based Toolset for Feature Localization. Bruno Castro, Alexandre Perez, Rui Abreu |
| 2019 | PeASS: A Tool for Identifying Performance Changes at Code Level. David Georg Reichelt, Stefan Kühne, Wilhelm Hasselbring |
| 2019 | Performance-Boosting Sparsification of the IFDS Algorithm with Applications to Taint Analysis. Dongjie He, Haofeng Li, Lei Wang, Haining Meng, Hengjie Zheng, Jie Liu, Shuangwei Hu, Lian Li, Jingling Xue |
| 2019 | PraPR: Practical Program Repair via Bytecode Mutation. Ali Ghanbari, Lingming Zhang |
| 2019 | Predicting Licenses for Changed Source Code. Xiaoyu Liu, Liguo Huang, Jidong Ge, Vincent Ng |
| 2019 | Prema: A Tool for Precise Requirements Editing, Modeling and Analysis. Yihao Huang, Jincao Feng, Hanyue Zheng, Jiayi Zhu, Shang Wang, Siyuan Jiang, Weikai Miao, Geguang Pu |
| 2019 | Property Inference for Deep Neural Networks. Divya Gopinath, Hayes Converse, Corina S. Pasareanu, Ankur Taly |
| 2019 | RANDR: Record and Replay for Android Applications via Targeted Runtime Instrumentation. Onur Sahin, Assel Aliyeva, Hariharan Mathavan, Ayse K. Coskun, Manuel Egele |
| 2019 | RENN: Efficient Reverse Execution with Neural-Network-Assisted Alias Analysis. Dongliang Mu, Wenbo Guo, Alejandro Cuevas, Yueqi Chen, Jinxuan Gai, Xinyu Xing, Bing Mao, Chengyu Song |
| 2019 | Re-Factoring Based Program Repair Applied to Programming Assignments. Yang Hu, Umair Z. Ahmed, Sergey Mechtaev, Ben Leong, Abhik Roychoudhury |
| 2019 | ReduKtor: How We Stopped Worrying About Bugs in Kotlin Compiler. Daniil Stepanov, Marat Akhin, Mikhail A. Belyaev |
| 2019 | RefBot: Intelligent Software Refactoring Bot. Vahid Alizadeh, Mohamed Amine Ouali, Marouane Kessentini, Meriem Chater |
| 2019 | Regexes are Hard: Decision-Making, Difficulties, and Risks in Programming Regular Expressions. Louis G. Michael IV, James Donohue, James C. Davis, Dongyoon Lee, Francisco Servant |
| 2019 | Retrieve and Refine: Exemplar-Based Neural Comment Generation. Bolin Wei |
| 2019 | Root Cause Localization for Unreproducible Builds via Causality Analysis Over System Call Tracing. Zhilei Ren, Changlin Liu, Xusheng Xiao, He Jiang, Tao Xie |
| 2019 | SCMiner: Localizing System-Level Concurrency Faults from Large System Call Traces. Tarannum Shaila Zaman, Xue Han, Tingting Yu |
| 2019 | SEGATE: Unveiling Semantic Inconsistencies between Code and Specification of String Inputs. Devika Sondhi, Rahul Purandare |
| 2019 | SGUARD: A Feature-Based Clustering Tool for Effective Spreadsheet Defect Detection. Da Li, Huiyan Wang, Chang Xu, Ruiqing Zhang, Shing-Chi Cheung, Xiaoxing Ma |
| 2019 | SPrinter: A Static Checker for Finding Smart Pointer Errors in C++ Programs. Xutong Ma, Jiwei Yan, Yaqi Li, Jun Yan, Jian Zhang |
| 2019 | SWAN_ASSIST: Semi-Automated Detection of Code-Specific, Security-Relevant Methods. Goran Piskachev, Lisa Nguyen Quang Do, Oshando Johnson, Eric Bodden |
| 2019 | Semistructured Merge in JavaScript Systems. Alberto Trindade Tavares, Paulo Borba, Guilherme Cavalcanti, Sérgio Soares |
| 2019 | SiMPOSE - Configurable N-Way Program Merging Strategies for Superimposition-Based Analysis of Variant-Rich Software. Dennis Reuling, Udo Kelter, Sebastian Ruland, Malte Lochau |
| 2019 | Sip4J: Statically Inferring Access Permission Contracts for Parallelising Sequential Java Programs. Ayesha Sadiq, Li Li, Yuan-Fang Li, Ijaz Ahmed, Sea Ling |
| 2019 | Size and Accuracy in Model Inference. Nimrod Busany, Shahar Maoz, Yehonatan Yulazari |
| 2019 | Statistical Log Differencing. Lingfeng Bao, Nimrod Busany, David Lo, Shahar Maoz |
| 2019 | Subformula Caching for Model Counting and Quantitative Program Analysis. William Eiers, Seemanta Saha, Tegan Brennan, Tevfik Bultan |
| 2019 | Systematically Covering Input Structure. Nikolas Havrikov, Andreas Zeller |
| 2019 | Tackling Build Failures in Continuous Integration. Foyzul Hassan |
| 2019 | Targeted Example Generation for Compilation Errors. Umair Z. Ahmed, Renuka Sindhgatta, Nisheeth Srivastava, Amey Karkare |
| 2019 | Test Automation and Its Limitations: A Case Study. Ahyoung Sung, Sangjun Kim, Yangsu Kim, Younggun Jang, Jongin Kim |
| 2019 | Test Migration Between Mobile Apps with Similar Functionality. Farnaz Behrang, Alessandro Orso |
| 2019 | Test Transfer Across Mobile Apps Through Semantic Mapping. Jun-Wei Lin, Reyhaneh Jabbarvand, Sam Malek |
| 2019 | TestCov: Robust Test-Suite Execution and Coverage Measurement. Dirk Beyer, Thomas Lemberger |
| 2019 | Testing Regex Generalizability And Its Implications: A Large-Scale Many-Language Measurement Study. James C. Davis, Daniel Moyer, Ayaan M. Kazerouni, Dongyoon Lee |
| 2019 | The Impact of Structure on Software Merging: Semistructured Versus Structured Merge. Guilherme Cavalcanti, Paulo Borba, Georg Seibt, Sven Apel |
| 2019 | Toward Practical Automatic Program Repair. Ali Ghanbari |
| 2019 | Towards Comprehensible Representation of Controllers using Machine Learning. Gargi Balasubramaniam |
| 2019 | Trusted Software Supply Chain. Kapil Singi, R. P. Jagadeesh Chandra Bose, Sanjay Podder, Adam P. Burden |
| 2019 | TsmartGP: A Tool for Finding Memory Defects with Pointer Analysis. YueXing Wang, Guang Chen, Min Zhou, Ming Gu, Jiaguang Sun |
| 2019 | Understanding Automatically-Generated Patches Through Symbolic Invariant Differences. Padraic Cashin, Carianne Martinez, Westley Weimer, Stephanie Forrest |
| 2019 | Understanding Exception-Related Bugs in Large-Scale Cloud Systems. Haicheng Chen, Wensheng Dou, Yanyan Jiang, Feng Qin |
| 2019 | User Preference Aware Multimedia Pricing Model using Game Theory and Prospect Theory for Wireless Communications. Krishna Murthy Kattiyan Ramamoorthy |
| 2019 | V2: Fast Detection of Configuration Drift in Python. Eric Horton, Chris Parnin |
| 2019 | VeriAbs : Verification by Abstraction and Test Generation. Mohammad Afzal, Asia A, Avriti Chauhan, Bharti Chimdyalwar, Priyanka Darke, Advaita Datar, Shrawan Kumar, R. Venkatesh |
| 2019 | VeriSmart 2.0: Swarm-Based Bug-Finding for Multi-threaded Programs with Lazy-CSeq. Bernd Fischer, Salvatore La Torre, Gennaro Parlato |
| 2019 | Verifying Arithmetic in Cryptographic C Programs. Jiaxiang Liu, Xiaomu Shi, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang |
| 2019 | Verifying Determinism in Sequential Programs. Rashmi Mudduluru |
| 2019 | VisFuzz: Understanding and Intervening Fuzzing with Interactive Visualization. Chijin Zhou, Mingzhe Wang, Jie Liang, Zhe Liu, Chengnian Sun, Yu Jiang |
| 2019 | Visual Analytics for Concurrent Java Executions. Cyrille Artho, Monali Pande, Qiyi Tang |
| 2019 | Wuji: Automatic Online Combat Game Testing Using Evolutionary Deep Reinforcement Learning. Yan Zheng, Changjie Fan, Xiaofei Xie, Ting Su, Lei Ma, Jianye Hao, Zhaopeng Meng, Yang Liu, Ruimin Shen, Yingfeng Chen |
| 2019 | XRaSE: Towards Virtually Tangible Software using Augmented Reality. Rohit Mehra, Vibhu Saujanya Sharma, Vikrant Kaulgud, Sanjay Podder |
| 2019 | iFeedback: Exploiting User Feedback for Real-Time Issue Detection in Large-Scale Online Service Systems. Wujie Zheng, Haochuan Lu, Yangfan Zhou, Jianming Liang, Haibing Zheng, Yuetang Deng |
| 2019 | mCUTE: A Model-Level Concolic Unit Testing Engine for UML State Machines. Reza Ahmadi, Karim Jahed, Juergen Dingel |