Search events for 'all'
Q&A for all papers
[Workshop] AeSIR 2021 When: Tue 16 Nov 2021 05:40 - 05:50
… …
DS Keynote - Advice on your Adviser (all ASE attendees welcome)
Doctoral Symposium When: Mon 15 Nov 2021 08:10 - 08:55 People: Marsha Chechik
… …
Meet Your Peers: PhD Students
Social/Networking When: Tue 16 Nov 2021 21:00 - 22:00 People: Oliver Karras
… during their PhD time.
**This event is open to all PhD students … experiences and hope that an active exchange will develop among all participants …
Efficient state synchronisation in model-based testing through reinforcement learning
Research Papers When: Wed 17 Nov 2021 09:20 - 09:40 People: Uraz Cengiz Türker, Robert Hierons, Mohammad Reza Mousavi, Ivan Tyukin
… might be complete, i.e., all inputs are applicable at every state of the system. However, some systems are partial and in this case not all inputs are usable …
Illustrated Code: Building Software in a Literate Way
Plenary When: Wed 17 Nov 2021 18:00 - 19:00 People: Andreas Zeller, Dan Hao
… Abstract:
Notebooks – rich, interactive documents that join together code, documentation, and outputs – are all the rage with data scientists. But can … documentation, tests, and tutorials all in one place. The resulting software …
Improving Mutation-Based Fault Localization with Plausible-code Generating Mutation Operators
Late Breaking Results When: Thu 18 Nov 2021 10:24 - 10:26 People: Juyoung Jeon, Shin Hong
… significantly in all three faults. …
JSTAR: JavaScript Specification Type Analyzer using Refinement
Research Papers When: Wed 17 Nov 2021 22:00 - 22:20 People: Jihyeok Park, Seungmin An, Shin Wonho, Yusung Sim, Sukyoung Ryu
… . However, all the specification updates are currently manually reviewed … of assertions and branches. We evaluated JSTAR with all 864 versions in the official … confirmed them all. …
A Prediction Model for Software Requirements Change Impact
Doctoral Symposium When: Thu 18 Nov 2021 10:30 - 10:32Mon 15 Nov 2021 09:05 - 09:20 People: Kareshna Zamani
… Software requirements Change Impact Analysis (CIA) is a pivotal process in requirements engineering (RE) since changes to requirements are inevitable. When a requirement change is requested, its impact on all software artefacts has …
Fuzzing Methods Recommendation Based on Feature Vectors
Doctoral Symposium When: Wed 17 Nov 2021 20:30 - 20:32Mon 15 Nov 2021 19:30 - 19:45 People: Chi Zhang
… to adapt to all the target programs. Therefore, we study how to select …
Counterexample Guided Inductive Repair of Reactive Contracts
Late Breaking Results When: Thu 18 Nov 2021 10:08 - 10:10 People: Soha Hussein, Vaibhav Sharma, Stephen McCamant, Sanjai Rayadurgam, Mats Heimdahl
… for all potential component behaviors in the system’s context. In this paper, we …
Automated Verification of Go Programs via Bounded Model Checking
Research Papers When: Thu 18 Nov 2021 22:40 - 23:00 People: Nicolas Dilley, Julien Lange
… The Go programming language offers a wide range of primitives to coordinate lightweight threads, i.e., channels, waitgroups, and mutexes — all of which may cause concurrency bugs. Static checkers that guarantee the absence of bugs …
Automated Verification of Go Programs via Bounded Model Checking
Artifact Evaluation People: Nicolas Dilley, Julien Lange
… The Go programming language offers a wide range of primitives to coordinate lightweight threads, e.g., channels, waitgroups, and mutexes — all of which may cause concurrency bugs. Static checkers that guarantee the absence of bugs …
Shake Those System Parameters! On the Need for Parameter Coverage for Decision Systems
NIER track When: Tue 16 Nov 2021 22:40 - 22:50 People: Thomas Laurent, Paolo Arcaini, Fuyuki Ishikawa, Anthony Ventresque
… for these systems should be able to exercise all the possible types of decisions …
Access Control Tree for Testing and Learning
Industry Showcase When: Tue 16 Nov 2021 18:40 - 18:50 People: Davrondzhon Gafurov, Margrete Sunde Grovan
… not all of them can be valid). From abstract scenarios we implemented over 600 … takes about five minutes while automated execution of all tests takes about one …
Detecting Memory-Related Bugs by Tracking Heap Memory Management of C++ Smart Pointers
Research Papers When: Thu 18 Nov 2021 19:00 - 19:20 People: Xutong Ma, Jiwei Yan, Wei Wang, Jun Yan, Jian Zhang, Zongyan Qiu
… by automatically deallocating the managed memory blocks. However, not all kinds … discover nearly all the built-in errors. And 442 out of 648 reports generated …
Targeting Requirements Violations of Autonomous Driving Systems by Dynamic Evolutionary Search
Research Papers When: Tue 16 Nov 2021 22:00 - 22:20 People: Yixing Luo, Xiaoyi Zhang, Paolo Arcaini, Zhi Jin, Haiyan Zhao, Fuyuki Ishikawa, Rongxin Wu, Tao Xie
… . However, satisfying all these requirements may not always be possible due … all possible patterns to search for, from the most to the least critical ones …
Towards Fluid Software Architectures: Bidirectional Human-AI Interaction
NIER track When: Thu 18 Nov 2021 19:50 - 20:00 People: Ammar Yasser, Mervat Abu-Elkheir
… The research on engineering software applications that employ artificial intelligence (AI) and machine learning (ML) is at an all time peak. However, most of the research is focused on the interaction between humans and AI which …
What do pre-trained code models know about code?
NIER track When: Wed 17 Nov 2021 09:40 - 09:50 People: Anjan Karmakar, Romain Robbes
… investigation. We release all the task datasets and evaluation code publicly. …
A Compositional Deadlock Detector for Android Java
Research Papers When: Thu 18 Nov 2021 21:40 - 22:00 People: James Brotherston, Paul Brunet, Nikos Gorogiannis, Max Kanovich
… , for all possible executions of the thread, which locks are currently held …
Training Automated Test Oracles to Identify Semantic Bugs
Doctoral Symposium When: Wed 17 Nov 2021 20:22 - 20:24Mon 15 Nov 2021 10:45 - 11:00 People: Charaka Geethal
… bugs solely through human effort is not practical for all software. A Test Oracle …
On the Real-World Effectiveness of Static Bug Detectors at Finding Null Pointer Exceptions
Research Papers When: Wed 17 Nov 2021 08:00 - 08:20 People: David A Tomassi, Cindy Rubio-González
… (NPEs). NPEs pervade all programming domains from systems to web development …
On the Real-World Effectiveness of Static Bug Detectors at Finding Null Pointer Exceptions
Artifact Evaluation People: David A Tomassi, Cindy Rubio-González
… ). NPEs pervade all programming domains from systems to web development …
Distribution Models for Falsification and Verification of DNNs
Research Papers When: Wed 17 Nov 2021 08:00 - 08:20 People: Felipe Toledo, David Shriver, Sebastian Elbaum, Matthew B Dwyer
… unsupervised learning, prefixes that model to the DNN to force all inputs to come from …
Distribution Models for Falsification and Verification of DNNs
Artifact Evaluation People: Felipe Toledo, David Shriver, Sebastian Elbaum, Matthew B Dwyer
… unsupervised learning, prefixes that model to the DNN to force all inputs to come from …
Context Debloating for Object-Sensitive Pointer Analysis
Research Papers When: Tue 16 Nov 2021 12:00 - 12:20 People: Dongjie He, Jingbo Lu, Jingling Xue
… We introduce a new approach, CONCH, for de-bloating contexts for all the object-sensitive pointer analysis algorithms developed for object-oriented languages, where the calling contexts of a method are distinguished by its receiver objects …
Context Debloating for Object-Sensitive Pointer Analysis
Artifact Evaluation When: Tue 16 Nov 2021 23:21 - 23:24 People: Dongjie He, Jingbo Lu, Jingling Xue
… We introduce a new approach, CONCH, for de-bloating contexts for all the object-sensitive pointer analysis algorithms developed for object-oriented languages, where the calling contexts of a method are distinguished by its receiver objects …
Adversarial Attacks to API Recommender Systems: Time to Wake Up and Smell the Coffee?
Research Papers When: Tue 16 Nov 2021 21:20 - 21:40 People: Phuong T. Nguyen, Claudio Di Sipio, Juri Di Rocco, Massimiliano Di Penta, Davide Di Ruscio
… a worrying outcome: all of them are not immune to malicious data. The obtained result …
Faster Mutation Analysis with Fewer Processes and Smaller Overheads
Artifact Evaluation People: Bo Wang, Sirui Lu, Yingfei Xiong, Feng Liu
… . Fork-based approaches carry all mutants in one process, and decide whether …
Faster Mutation Analysis with Fewer Processes and Smaller Overheads
Research Papers When: Wed 17 Nov 2021 09:00 - 09:20 People: Bo Wang, Sirui Lu, Yingfei Xiong, Feng Liu
… mutants. Fork-based approaches carry all mutants in one process, and decide whether …
BeAFix: An Automated Repair Tool for Faulty Alloy Models
Tool Demonstrations When: Tue 16 Nov 2021 11:50 - 11:55Tue 16 Nov 2021 22:08 - 22:10 People: Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo F. Frias
… /5RG40SmlFXQ. The tool’s binaries and further details about its usage, can all …
Learning Patterns in Configuration
Research Papers When: Thu 18 Nov 2021 18:00 - 18:20 People: Ranjita Bhagwan, Sonu Mehta, Arjun Radhakrishna, Sahil Garg
… , existing either as tribal knowledge among a few domain experts or not at all …
End-to-End Automation of Feedback on Student Assembly Programs
Research Papers When: Tue 16 Nov 2021 11:20 - 11:40 People: Zikai Liu, Tingkai Liu, Qi Li, Wenqing Luo, Steven S. Lumetta
… student and require a submission to pass all previous tests before re-evaluation …
Deep GUI: Black-box GUI Input Generation with Deep Learning
Research Papers When: Thu 18 Nov 2021 21:00 - 21:20 People: Faraz YazdaniBanafsheDaragh, Sam Malek
… applicable to all types of Android apps, regardless of their underlying implementation …
Deep-GUI: Black-box GUI Input Generation with Deep Learning
Artifact Evaluation People: Faraz YazdaniBanafsheDaragh, Sam Malek
… applicable to all types of Android apps, regardless of their underlying implementation …
ISPY: Automatic Issue-Solution Pair Extraction from Community Live Chats
Artifact Evaluation People: Lin Shi, Ziyou Jiang, Ye Yang, Xiao Chen, YuMin Zhang, Fangwen Mu, Hanzhi Jiang, Qing Wang
… %, and outperforms all baselines by 30%. For solution-extraction, our approach achieves the F1 …
ISPY: Automatic Issue-Solution Pair Extraction from Community Live Chats
Research Papers When: Tue 16 Nov 2021 18:20 - 18:40 People: Lin Shi, Ziyou Jiang, Ye Yang, Xiao Chen, YuMin Zhang, Fangwen Mu, Hanzhi Jiang, Qing Wang
… %, and outperforms all baselines by 30%. For solution-extraction, our approach achieves the F1 …
SigRec: Automatic Recovery of Function Signatures in Smart Contracts
Journal-first Papers When: Wed 17 Nov 2021 09:50 - 10:00 People: Ting Chen, zihao li, Xiapu Luo, XiaoFeng Wang, Ting Wang, Hongwei Li, Xiaosong Zhang
… } outperforms all existing tools, achieving an unprecedented 98.7% accuracy within 0.074 …
SATune: A Study-Driven Auto-Tuning Approach for Configurable Software Verification Tools
Research Papers When: Wed 17 Nov 2021 08:20 - 08:40 People: Ugur Koc, Austin Mordahl, Shiyi Wei, Jeffrey S. Foster, Adam Porter
… ). Examining the dataset, we find there is generally no one-size-fits-all best …
SATune: A Study-Driven Auto-Tuning Approach for Configurable Software Verification Tools
Artifact Evaluation People: Ugur Koc, Austin Mordahl, Shiyi Wei, Jeffrey S. Foster, Adam Porter
… ). Examining the dataset, we find there is generally no one-size-fits-all best …
Finding A Needle in a Haystack: Automated Mining of Silent Vulnerability Fixes
Research Papers When: Thu 18 Nov 2021 11:00 - 11:20 People: Jiayuan Zhou, Michael Pacheco, Zhiyuan Wan, Xin Xia, David Lo, Yuan Wang, Ahmed E. Hassan
… analyze all code changes for vulnerability fix detection. Therefore …
Automated Testing for Machine Translation via Constituency Invariance
Research Papers When: Wed 17 Nov 2021 12:00 - 12:20 People: Pin Ji, Yang Feng, Jia Liu, Zhihong Zhao, Baowen Xu
… safety, marketing blunders, and political crisis. Thus, almost all translation …