Search events for 'all'
One Size Does Not Fit All: An Empirical Study of Containerized Continuous Deployment Workflows
Research Papers When: Wed 7 Nov 2018 13:52 - 14:15 People: Yang Zhang, Bogdan Vasilescu, Huaimin Wang, Vladimir Filkov
… together with all its dependencies and execution environment in a light-weight …
Do Android Taint Analysis Tools Keep Their Promises?
Research Papers When: Wed 7 Nov 2018 13:52 - 14:15 People: Felix Pauck, Eric Bodden, Heike Wehrheim
… In recent years, researchers have developed a number of tools to conduct taint analysis of Android applications. While all the respective papers aim … leaks searched for, or lack a ground truth to compare against. All those …
Themis: Automatically Testing Software for Discrimination
Demonstrations When: Tue 6 Nov 2018 11:15 - 11:37 People: Rico Angell, Brittany Johnson, Yuriy Brun, Alexandra Meliou
… -source and all our evaluation data are available at http://fairness.cs.umass.edu …
Concurrency Verification with Maximal Path Causality
Research Papers When: Wed 7 Nov 2018 15:30 - 15:52 People: Qiuping Yi, Jeff Huang
… We present a technique that systematically explores the state spaces of concurrent programs across both the schedule space and the input space. The cornerstone is a new model called Maximal Path Causality (MPC), which captures all …
On the Significance of Contract-Based Typestate Specification
WASPI When: Fri 9 Nov 2018 13:30 - 14:00 People: Samantha Syeda Khairunnesa, Hoan Anh Nguyen, Hridesh Rajan
… expressiveness to the designers’ intention, as these are unable to demonstrate all …
Scalability-First Pointer Analysis with Self-Tuning Context-Sensitivity
Research Papers When: Tue 6 Nov 2018 14:37 - 15:00 People: Yue Li, Tian Tan, Anders Møller, Yannis Smaragdakis
… predictable scalability for all the evaluated programs (e.g., speedups can reach 10x …
MemFix: Static Analysis-Based Repair of Memory Deallocation Errors for C
Research Papers When: Tue 6 Nov 2018 14:37 - 15:00 People: Junhee Lee, Seongjoon Hong, Hakjoo Oh
… by finding a set of
free-statements that correctly deallocate all allocated objects …
An Empirical Study on Crash Recovery Bugs in Large-Scale Distributed Systems
Research Papers When: Thu 8 Nov 2018 14:15 - 14:37 People: Yu Gao, Wensheng Dou, Feng Qin, Chushu Gao, Dong Wang, Jun Wei, Ruirui Huang, Li Zhou, Yongming Wu
… and HBase. For all the studied bugs, we analyze their root causes, triggering …
Using Finite-State Models for Log Differencing
Research Papers When: Tue 6 Nov 2018 11:15 - 11:37 People: Hen Amar, Lingfeng Bao , Nimrod Busany, David Lo, Shahar Maoz
… that are common to all logs from the ones found in only some of them, all on top …
A Reinforcement Learning Based Approach to Automated Testing of Android Applications
A-TEST When: Mon 5 Nov 2018 11:42 - 12:00 People: Thi Anh Tuyet Vuong, Shingo Takada
… and transitions, which makes testing all possible scenarios time-consuming …
Winning the App Production Rally
Research Papers When: Wed 7 Nov 2018 11:37 - 12:00 People: Ehsan Noei, Daniel Alencar Da Costa , Ying Zou
… across apps and various versions of each app. We find that not all the variables …
Microtask Programming
Journal-First When: Thu 8 Nov 2018 15:52 - 16:14 People: Thomas LaToza, Arturo Di Lecce, Fabio Ricci, W. Ben Towne, Andre van der Hoek
… , complete all types of microtasks in less than 5 minutes on average, and create 490 …
(No) Influence of Continuous Integration on the Commit Activity in GitHub Projects
SWAN When: Mon 5 Nov 2018 10:30 - 10:52 People: Sebastian Baltes, Jascha Knack, Daniel Anastasiou, Ralf Tymann, Stephan Diehl
… more merging commits in relation to all commits after the projects started using …
How Well Are Regular Expressions Tested in the Wild?
Research Papers When: Thu 8 Nov 2018 16:15 - 16:37 People: Peipei Wang, Kathryn Stolee
… % of the regular expressions in the repositories are tested at all. For those …
Parameterized Model Counting for String and Numeric Constraints
Research Papers When: Wed 7 Nov 2018 16:37 - 17:00 People: Abdulbaki Aydin, William Eiers, Lucas Bang, Tegan Brennan, Miroslav Gavrilov, Tevfik Bultan, Fang Yu
… a multi-track deterministic finite state
automaton that accepts all solutions …
Adversarial Symbolic Execution for Detecting Concurrency-Related Cache Timing Leaks
Research Papers When: Wed 7 Nov 2018 15:52 - 16:15 People: Shengjian (Daniel) Guo, Meng Wu, Chao Wang
… for detecting timing leaks either ignore cache all together or focus only on passive leaks …
Approximate Oracles and Synergy in Software Energy Search Spaces
Journal-First When: Thu 8 Nov 2018 15:30 - 16:00 People: Bobby R. Bruce, Justyna Petke, Mark Harman, Earl T. Barr
… their individual sum. Our results reveal that 12.0% of all joint code modifications …
From Big Data to Smart Data: A Data Quality Perspective
EnSEmble People: Maria Teresa Baldassarre, Ismael Caballero, Danilo Caivano, Bibiano Rivas Garcia, Mario Piattini
… , tools, processes and methodologies that enable all the Values from the data …
Do the Dependency Conflicts in My Project Matter?
Research Papers When: Wed 7 Nov 2018 14:37 - 15:00 People: Ying Wang, Ming Wen, Zhenwei Liu, Rongxin Wu, Rui Wang, Bo Yang, Hai Yu, Zhiliang Zhu, Shing-Chi Cheung
… build tools such as Maven can be benign since not all instances of duplication …
Darwinian Data Structure Selection
Research Papers When: Tue 6 Nov 2018 14:15 - 14:37 People: Michail Basios, Lingbo Li, Fan Wu, Leslie Kanthan, Earl T. Barr
… , ARTEMIS finds at least one solution that improves \emph{all} measures for $86 …
AppFlow: Using Machine Learning to Synthesize Robust, Reusable UI Tests
Research Papers When: Wed 7 Nov 2018 11:15 - 11:37 People: Gang Hu, Linjie Zhu, Junfeng Yang
… 46.6% of all automatable tests for Jackthreads with the tests it synthesizes …
Improving Regression Testing in Continuous Integration Development Environments (Keynote)
A-TEST People: Gregg Rothermel
… to expand to utilize all available resources, and then continue to expand beyond …
Programmers do not Favor Lambda Expressions for Concurrent Object-Oriented Code
Journal-First When: Tue 6 Nov 2018 15:30 - 15:52 People: Sebastian Nielebock, Robert Heumüller, Frank Ortmeier
… not make use of lambda expressions. Second, for all three of the languages, we …
Modify, Enhance, Select: Co-Evolution of Combinatorial Models and Test Plans
Research Papers When: Tue 6 Nov 2018 16:37 - 17:00 People: Rachel Tzoref-Brill, Shahar Maoz
… plan size, all while meeting the required combinatorial coverage.
We use our …
Complementing Global and Local Contexts in Representing API Descriptions to Improve API Retrieval Tasks
Research Papers When: Thu 8 Nov 2018 14:37 - 15:00 People: Thanh Nguyen, Ngoc Tran, Hung Phan, Trong Nguyen, Linh Truong, Hoan Anh Nguyen, Tien N. Nguyen
… connect the global context of the current API
topic under description to all …
The Impact of Regular Expression Denial of Service (ReDoS) in Practice: An Empirical Study at the Ecosystem Scale
Research Papers When: Tue 6 Nov 2018 16:15 - 16:37 People: James C. Davis, Christy A. Coghlan, Francisco Servant, Dongyoon Lee
… been shown examples of all three fix strategies. These findings motivate further …
The modular and feature toggle architectures of Google Chrome
Journal-First When: Thu 8 Nov 2018 10:30 - 10:52 People: Md Tajmilur Rahman, Peter C. Rigby, Emad Shihab
… and manage toggles have been created for all the major programming languages. We …
How far we have progressed in the journey? An examination of cross-project defect prediction
Journal-First When: Thu 8 Nov 2018 10:52 - 11:15 People: Yuming Zhou, Yibiao Yang, Hongmin Lu, Lin Chen, Yanhui Li, Yangyang Zhao, Junyan Qian, Baowen Xu
… , if not all, of the existing CPDP models are not compared against those simple module …
CloudRaid: Hunting Concurrency Bugs in the Cloud via Log-Mining
Research Papers When: Tue 6 Nov 2018 10:30 - 10:52 People: Jie Lu, Feng Li, Lian Li, Xiaobing Feng
… , including 8 new bugs that have never been found before. The 8 new bugs have all been …
Behind Every Great Deep Learning Framework Is An Even Greater Programming Languages Concept
Keynotes When: Tue 6 Nov 2018 08:30 - 10:00 People: Erik Meijer
… . Instead of code as the artifact of interest, in Software 2.0 it is all about …
How Do Developers Utilize Source Code from Stack Overflow?
Journal-First When: Tue 6 Nov 2018 15:52 - 16:15 People: Yuhao Wu, Shaowei Wang, Cor-Paul Bezemer, Katsuro Inoue
… ) incomprehensive code, and (3) low code quality. We summarized and analyzed all survey …