default search action
33rd ASE 2018: Montpellier, France
- Marianne Huchard
, Christian Kästner, Gordon Fraser:
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, ASE 2018, Montpellier, France, September 3-7, 2018. ACM 2018
Keynotes
- Roberto Di Cosmo:
Software heritage: collecting, preserving, and sharing all our source code (keynote). 1-2 - Jane Cleland-Huang:
Automated requirements engineering challenges with examples from small unmanned aerial systems (keynote). 3 - Lauren Herckis
Implementation science for software engineering: bridging the gap between research and practice (keynote). 4 - Gail C. Murphy:
The need for context in software engineering (IEEE CS Harlan Mills award keynote). 5
Performance
- Sarra Habchi
On adopting linters to deal with performance concerns in Android apps. 6-16 - Xue Han, Tingting Yu, David Lo
PerfLearner: learning from bug reports to understand and generate performance test frames. 17-28 - Liang Bao, Xin Liu, Ziheng Xu, Baoyin Fang:
AutoConfig: automatic configuration tuning for distributed message systems. 29-40 - Andrew Habib
Is this class thread-safe? inferring documentation using graph-based learning. 41-52
Testing Studies
- Michael Hilton, Jonathan Bell, Darko Marinov:
A large-scale study of test coverage evolution. 53-63 - Valerio Terragni
Effectiveness and challenges in generating concurrent tests for thread-safe classes. 64-75
Build and Test Automation
- Gabriël Konat
Scalable incremental building with dynamic task dependencies. 76-86 - Keheliya Gallaba
Noise and heterogeneity in historical build data: an empirical study of Travis CI. 87-97
Quality Assurance for Machine Learning Techniques
- Sakshi Udeshi
Automated directed fairness testing. 98-108 - Youcheng Sun
Concolic testing for deep neural networks. 109-119 - Lei Ma, Felix Juefei-Xu, Fuyuan Zhang, Jiyuan Sun, Minhui Xue
DeepGauge: multi-granularity testing criteria for deep learning systems. 120-131 - Mengshi Zhang, Yuqun Zhang, Lingming Zhang, Cong Liu, Sarfraz Khurshid:
DeepRoad: GAN-based metamorphic testing and input validation framework for autonomous driving systems. 132-142
Variability
- Raja Ben Abdessalem, Annibale Panichella, Shiva Nejati
Testing autonomous cars for feature interaction failures using many-objective search. 143-154 - Mukelabai Mukelabai, Damir Nesic, Salome Maro, Thorsten Berger, Jan-Philipp Steghöfer:
Tackling combinatorial explosion: a study of industrial needs and practices for analyzing highly configurable systems. 155-166 - Dongjie He
Understanding and detecting evolution-induced compatibility issues in Android apps. 167-177
Mining and Crowd Sourcing
- Pinjia He, Zhuangbin Chen, Shilin He, Michael R. Lyu:
Characterizing the natural language descriptions in software logging statements. 178-189 - John-Paul Ore
Assessing the type annotation burden. 190-201 - Vladimir Kovalenko, Fabio Palomba
Mining file histories: should we consider branches? 202-213 - Yi Huang, Chunyang Chen
Tell them apart: distilling technology differences from crowd-scale comparison discussions. 214-224
Security
- Yuju Shen, Yanyan Jiang, Chang Xu, Ping Yu
ReScue: crafting regular expression DoS attacks. 225-235 - Jie Liu, Diyu Wu
TDroid: exposing app switching attacks in Android with control flow specialization. 236-247 - Ameni Ben Fadhel, Domenico Bianculli, Lionel C. Briand:
Model-driven run-time enforcement of complex role-based access control policies. 248-258 - Bo Jiang, Ye Liu, W. K. Chan:
ContractFuzzer: fuzzing smart contracts for vulnerability detection. 259-269
Developer Tools
- Steven P. Reiss, Qi Xin, Jeff Huang:
SEEDE: simultaneous execution and editing in a development environment. 270-281 - Xiaoyu Liu, LiGuo Huang
Effective API recommendation without historical software repositories. 282-292 - Qiao Huang, Xin Xia
API method recommendation without worrying about the task-API knowledge gap. 293-304 - Boyuan Chen
An automated approach to estimating code coverage measures via execution logs. 305-316
Static Analysis
- Andrew Habib
How many of all bugs do we find? a study of static bug detectors. 317-328 - Hashim Sharif, Muhammad Abubakar, Ashish Gehani, Fareed Zaffar:
TRIMMER: application specialization for code debloating. 329-339 - Dominik Helm
A unified lattice model and framework for purity analyses. 340-350
Verification 1
- Jianhui Chen, Fei He:
Control flow-guided SMT solving for program verification. 351-361 - Yutaka Nagashima
PaMpeR: proof method recommendation system for Isabelle/HOL. 362-372
Maintenance and Machine Learning
- Zhongxin Liu, Xin Xia
Neural-machine-translation-based commit message generation: how far are we? 373-384 - Hui Liu, Zhifeng Xu, Yanzhen Zou:
Deep learning based feature envy detection. 385-396 - Yao Wan, Zhou Zhao, Min Yang, Guandong Xu, Haochao Ying, Jian Wu, Philip S. Yu:
Improving automatic source code summarization via deep reinforcement learning. 397-407
Symbolic Execution
- Sooyoung Cha, Seonho Lee, Hakjoo Oh:
Template-guided concolic testing via online learning. 408-418 - Xiang Gao, Shin Hwei Tan, Zhen Dong, Abhik Roychoudhury
Android testing via synthetic symbolic execution. 419-429 - Oscar Soria Dustmann, Klaus Wehrle
PARTI: a multi-interval theory solver for symbolic execution. 430-440
Maintenance
- Federico Mora, Yi Li
Client-specific equivalence checking. 441-451 - Nipun Arora, Jonathan Bell, Franjo Ivancic, Gail E. Kaiser
Replay without recording of production bugs for service oriented applications. 452-463 - Vahid Alizadeh
Reducing interactive refactoring effort via clustering-based multi-objective search. 464-474
Software Quality
- Caroline Lemieux, Koushik Sen:
FairFuzz: a targeted mutation strategy for increasing greybox fuzz testing coverage. 475-485 - Lingling Fan, Ting Su, Sen Chen, Guozhu Meng, Yang Liu
Efficiently manifesting asynchronous programming errors in Android apps. 486-497 - Wensheng Dou, Shi Han, Liang Xu, Dongmei Zhang, Jun Wei:
Expandable group identification in spreadsheets. 498-508 - Yun Lin, Jun Sun, Lyly Tran, Guangdong Bai
Break the dead end of dynamic slicing: localizing data and control omission bug. 509-519
Architecture and Requirements
- Renzo Degiovanni
A genetic algorithm for goal-conflict identification. 520-531
Mobile Analysis
- Huaxun Huang, Lili Wei
Understanding and detecting callback compatibility issues for Android applications. 532-542 - Kevin Moran, Cody Watson, John Hoskins, George Purnell, Denys Poshyvanyk
Detecting and summarizing GUI changes in evolving mobile apps. 543-553 - Yixue Zhao
Empirically assessing opportunities for prefetching and caching in mobile apps. 554-564 - Benno Stein, Lazaro Clapp, Manu Sridharan
Safe stream-based programming with refinement types. 565-576
Repair
- Kaiyuan Wang, Allison Sullivan
Automated model repair for Alloy. 577-588 - Huarui Lin, Zan Wang, Shuang Liu
PFix: fixing concurrency bugs based on memory access patterns. 589-600 - Mohammad Bajammal, Davood Mazinanian, Ali Mesbah
Generating reusable web components from mockups. 601-611 - Rijnard van Tonder
Semantic crash bucketing. 612-622
Verification 2
- Hung-En Wang, Shih-Yu Chen, Fang Yu, Jie-Hong R. Jiang:
A symbolic model checking approach to the analysis of string and length constraints. 623-633 - Dirk Beyer
Domain-independent multi-threaded software model checking. 634-644 - Liangze Yin, Wei Dong, Wanwei Liu, Ji Wang:
Scheduling constraint based abstraction refinement for weak memory models. 645-655
Code Differencing and Merging
- Chungha Sung
Datalog-based scalable semantic diffing of concurrent programs. 656-666 - Bingchang Liu
αDiff: cross-version binary code similarity detection with DNN. 667-678 - Kaifeng Huang, Bihuan Chen, Xin Peng, Daihong Zhou
ClDiff: generating concise linked code differences. 679-690
Mobile Security
- Jiwei Yan
Characterizing and identifying misexposed activities in Android applications. 691-701 - Jiajun Hu, Lili Wei
A tale of two cities: how WebView induces bugs to Android applications. 702-713 - Zhenhao Tang, Juan Zhai
Dual-force: understanding WebView malware via cross-language forced execution. 714-725 - Mahmoud Hammad
Self-protection of Android systems from inter-component communication attacks. 726-737
Experience Papers
- Wenyu Wang
An empirical study of Android test generation tools in industrial cases. 738-748 - Davrondzhon Gafurov, Arne Erik Hurum, Martin Markman:
Achieving test automation with testers without coding skills: an industrial report. 749-756 - Mikaela Cashman
Navigating the maze: the impact of configurability in bioinformatics software. 757-767 - Alexandra Bugariu, Valentin Wüstholz, Maria Christakis, Peter Müller:
Automatically testing implementations of numerical abstract domains. 768-778 - Ran Mo, Will Snipes, Yuanfang Cai, Srini Ramaswamy, Rick Kazman, Martin Naedele:
Experiences applying automated architecture analysis tool suites. 779-789
New Ideas Papers
- Carmine Vassallo, Fabio Palomba
Continuous code quality: are we (really) doing that? 790-795 - Foyzul Hassan, Rodney Rodriguez, Xiaoyin Wang:
RUDSEA: recommending updates of Dockerfiles via software environment analysis. 796-801 - Xiang Zhou, Xin Peng, Tao Xie, Jun Sun, Wenhai Li, Chao Ji, Dan Ding:
Delta debugging microservice systems. 802-807 - Luting Ye, Hailong Sun, Xu Wang, Jiaruijue Wang:
Personalized teammate recommendation for crowdsourced software developers. 808-813 - Han Liu, Chao Liu, Wenqi Zhao, Yu Jiang, Jiaguang Sun:
S-gram: towards semantic-aware security auditing for Ethereum smart contracts. 814-819 - Jianghao Wang, Hamid Bagheri, Myra B. Cohen:
An evolutionary approach for analyzing Alloy specifications. 820-825 - Qingying Chen, Minghui Zhou:
A neural framework for retrieval and summarization of source code. 826-831 - Michele Tufano, Cody Watson, Gabriele Bavota
An empirical investigation into learning bug-fixing patches in the wild via neural machine translation. 832-837 - Jianxiong Gao, Steven S. Lumetta:
Loop path reduction by state pruning. 838-843 - Yu Qu
node2defect: using network embedding to improve software defect prediction. 844-849 - Manasi Patwardhan, Abhishek Sainani, Richa Sharma, Shirish Karande, Smita Ghaisas:
Towards automating disambiguation of regulations: using the wisdom of crowds. 850-855
Tool Demonstrations
- Rui Pereira
jStanley: placing a green thumb on Java collections. 856-859 - Farah Hariri, August Shi:
SRCIROR: a toolset for mutation testing of C source code and LLVM intermediate representation. 860-863 - Alim Ozdemir, Ayse Tosun
Lightweight source code monitoring with Triggr. 864-867 - Simone Scalabrino
OCELOT: a search-based test-data generation tool for C. 868-871 - Julián Grigera
Live versioning of web applications through refactoring. 872-875 - Andrea Janes
code_call_lens: raising the developer awareness of critical code. 876-879 - Gharib Gharibi, Rashmi Tripathi, Yugyung Lee:
Code2graph: automatic generation of static call graphs for Python source code. 880-883 - Julien Brunel, David Chemouil
The electrum analyzer: model checking relational first-order temporal specifications. 884-887 - Mikhail Y. R. Gadelha, Felipe R. Monteiro, Jeremy Morse, Lucas C. Cordeiro, Bernd Fischer, Denis A. Nicole:
ESBMC 5.0: an industrial-strength C model checker. 888-891 - Jialun Cao, Yongjian Li, Jun Pang:
L-CMP: an automatic learning-based parameterized verification tool. 892-895 - Jian Gao, Xin Yang, Ying Fu, Yu Jiang, Jiaguang Sun:
VulSeeker: a semantic learning based vulnerability seeker for cross-platform binary. 896-899 - Dirk Beyer
CPA-SymExec: efficient symbolic execution in CPAchecker. 900-903 - Chungha Sung
CANAL: a cache timing analysis framework via LLVM transformation. 904-907 - Oscar Luis Vera-Pérez, Martin Monperrus
Descartes: a PITest engine to detect pseudo-tested methods: tool demonstration. 908-911 - Mohammad Roohitavaf, Sandeep S. Kulkarni:
DKVF: a framework for rapid prototyping and evaluating distributed key-value stores. 912-915 - Nataniel P. Borges Jr.
DroidMate-2: a platform for Android test generation. 916-919
Session 1
- Philipp Haindl
Assessing and evaluating functional suitability of software. 920-923
Session 2
- Thomas Krismayer:
Automatic mining of constraints for monitoring systems of systems. 924-927 - Rokiatou Diarra:
Towards automatic restrictification of CUDA kernel arguments. 928-931 - Florian Galinier:
A DSL for requirements in the context of a seamless approach. 932-935
Session 3
- Luca Traini
A multi-objective framework for effective performance fault injection in distributed systems. 936-939 - David Sferruzza:
Top-down model-driven engineering of web services from extended OpenAPI models. 940-943 - Yannic Noller
Differential program analysis with fuzzing and symbolic execution. 944-947 - Julien Delplanque:
Software engineering techniques applied to relational databases. 948-951
Journal-First Papers
- Nada Almasri
Automatically quantifying the impact of a change in systems (journal-first abstract). 952 - Davide Falessi, Massimiliano Di Penta, Gerardo Canfora, Giovanni Cantone:
Estimating the number of remaining links in traceability recovery (journal-first abstract). 953 - Felipe R. Monteiro, Mário A. P. Garcia, Lucas C. Cordeiro, Eddie Batista de Lima Filho:
Bounded model checking of C++ programs based on the Qt cross-platform framework (journal-first abstract). 954 - Paola R. G. Accioly, Paulo Borba, Guilherme Cavalcanti:
Understanding Semi-structured merge conflict characteristics in open-source Java projects (journal-first abstract). 955
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-15 01:31 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: