![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
32nd ASE 2017: Urbana, IL, USA
- Grigore Rosu, Massimiliano Di Penta, Tien N. Nguyen:
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, ASE 2017, Urbana, IL, USA, October 30 - November 03, 2017. IEEE Computer Society 2017, ISBN 978-1-5386-2684-9
Keynotes
- Gerard J. Holzmann:
Cobra - an interactive static code analyzer. 1 - Jiawei Han:
Mining structures from massive text data: will it help software engineering? 2 - Arie van Deursen
:
Software engineering without borders. 3
Test Generation
- Li Lyna Zhang, Chieh-Jan Mike Liang, Yunxin Liu, Enhong Chen:
Systematically testing background services of mobile apps. 4-15 - Ke Mao, Mark Harman, Yue Jia:
Crowd intelligence enhances automated mobile testing. 16-26 - Wei Song, Xiangxing Qian, Jeff Huang:
EHBDroid: beyond GUI testing for Android applications. 27-37 - Chucheng Zhang, Haoliang Cheng, Enyi Tang, Xin Chen, Lei Bu, Xuandong Li:
Sketch-guided GUI test generation for mobile applications. 38-43 - Luca Della Toffola, Cristian-Alexandru Staicu, Michael Pradel:
Saying 'hi!' is not enough: mining inputs for effective test generation. 44-49 - Patrice Godefroid, Hila Peleg, Rishabh Singh:
Learn&Fuzz: machine learning for input fuzzing. 50-59
Developersz Practice and Behavior
- Yangyang Zhao, Alexander Serebrenik
, Yuming Zhou, Vladimir Filkov, Bogdan Vasilescu
:
The impact of continuous integration on other software development practices: a large-scale empirical study. 60-71 - David Kavaler, Sasha Sirovica, Vincent J. Hellendoorn, Raúl Aranovich, Vladimir Filkov:
Perceived language complexity in GitHub issue discussions and their effect on issue resolution. 72-83 - Samim Mirhosseini, Chris Parnin:
Can automated pull requests encourage software developers to upgrade out-of-date dependencies? 84-94 - Matheus Paixão
, Jens Krinke, DongGyun Han
, Chaiyong Ragkhitwetsagul
, Mark Harman:
Are developers aware of the architectural impact of their changes? 95-105 - Toufique Ahmed, Amiangshu Bosu
, Anindya Iqbal, Shahram Rahimi:
SentiCR: a customized sentiment analysis tool for code review interactions. 106-111
Documentation
- Inderjot Kaur Ratol, Martin P. Robillard:
Detecting fragile comments. 112-122 - Zeqi Lin, Yanzhen Zou, Junfeng Zhao, Bing Xie:
Improving software text retrieval using conceptual knowledge in source code. 123-134 - Siyuan Jiang, Ameer Armaly, Collin McMillan:
Automatically generating commit messages from diffs using neural machine translation. 135-146 - Yan Sun, Celia Chen, Qing Wang, Barry W. Boehm:
Improving missing issue-commit link recovery using positive and unlabeled data. 147-152 - Yuan Tian, Ferdian Thung, Abhishek Sharma, David Lo
:
APIBot: question answering bot for API documentation. 153-158 - Gias Uddin, Foutse Khomh:
Automatic summarization of API reviews. 159-170
Formal Verification
- Ahmet Çelik, Karl Palmskog, Milos Gligoric:
iCoq: regression proof selection for large-scale verification projects. 171-182 - Cong Tian, Zhao Duan, Zhenhua Duan, C.-H. Luke Ong:
More effective interpolations in software model checking. 183-193 - Elaheh Ghassabani, Andrew Gacek, Michael W. Whalen, Mats Per Erik Heimdahl, Lucas G. Wagner:
Proof-based coverage metrics for formal verification. 194-199 - Rodrigo Castaño, Víctor A. Braberman, Diego Garbervetsky
, Sebastián Uchitel:
Model checker execution reports. 200-205 - Chungha Sung, Markus Kusano, Chao Wang:
Modular verification of interrupt-driven software. 206-216 - Flavio Corradini, Fabrizio Fornari
, Andrea Polini, Barbara Re, Francesco Tiezzi, Andrea Vandin
:
BProVe: a formal verification framework for business process models. 217-228
Security
- Jia Chen, Oswaldo Olivo, Isil Dillig, Calvin Lin:
Static detection of asymptotic resource side-channel vulnerabilities in web applications. 229-239 - Weihang Wang, Yonghwi Kwon, Yunhui Zheng, Yousra Aafer, I Luk Kim, Wen-Chuan Lee, Yingqi Liu, Weijie Meng, Xiangyu Zhang, Patrick Eugster:
PAD: programming third-party web advertisement censorship. 240-251 - Sungho Lee, Sungjae Hwang, Sukyoung Ryu
:
All about activity injection: threats, semantics, and detection. 252-262 - Björn Mathis, Vitalii Avdiienko, Ezekiel O. Soremekun
, Marcel Böhme
, Andreas Zeller
:
Detecting information flow by mutating input data. 263-273 - Liang He, Yan Cai, Hong Hu, Purui Su, Zhenkai Liang
, Yi Yang, Huafeng Huang, Jia Yan, Xiangkun Jia, Dengguo Feng:
Automatically assessing crashes from heap overflows. 274-279 - Yasmin Rafiq, Luke Dickens, Alessandra Russo
, Arosha K. Bandara, Mu Yang, Avelie Stuart
, Mark Levine
, Gul Calikli
, Blaine A. Price, Bashar Nuseibeh:
Learning to share: engineering adaptive decision-support for online social networks. 280-285
Mobile Development
- Jianjun Huang, Yousra Aafer, David Mitchel Perry, Xiangyu Zhang, Chen Tian:
UI driven Android application reduction. 286-296 - Bo Jiang, Yuxuan Wu, Teng Li, W. K. Chan
:
SimplyDroid: efficient event sequence simplification for Android application. 297-307 - Mattia Fazzini
, Alessandro Orso:
Automated cross-platform inconsistency detection for mobile apps. 308-318
Binary Analysis
- Shuai Wang
, Dinghao Wu:
In-memory fuzzing for binary code similarity analysis. 319-330 - Thomas Rupprecht, Xi Chen, David H. White, Jan H. Boockmann
, Gerald Lüttgen, Herbert Bos
:
DSIbin: identifying dynamic data structures in C/C++ binaries. 331-341 - Ulf Kargén
, Nahid Shahmehri:
Towards robust instruction-level trace alignment of binary code. 342-352 - Soomin Kim, Markus Faerevaag, Minkyu Jung, Seungil Jung, DongYeop Oh
, JongHyup Lee, Sang Kil Cha:
Testing intermediate representations for binary analysis. 353-364
From Failures to Faults
- Mitchell J. Gerrard, Matthew B. Dwyer
:
Comprehensive failure characterization. 365-376 - Nicolas Coppik, Oliver Schwahn
, Stefan Winter, Neeraj Suri
:
TrEKer: tracing error propagation in operating system kernels. 377-387 - Matús Sulír
, Jaroslav Porubän
:
RuntimeSearch: Ctrl+F for a running program. 388-393
Program Comprehension
- Yun Lin, Guozhu Meng, Yinxing Xue, Zhenchang Xing, Jun Sun
, Xin Peng, Yang Liu
, Wenyun Zhao, Jin Song Dong:
Mining implicit design templates for actionable code reuse. 394-404 - Carl Chapman, Peipei Wang, Kathryn T. Stolee
:
Exploring regular expression comprehension. 405-416 - Simone Scalabrino
, Gabriele Bavota
, Christopher Vendome, Mario Linares Vásquez
, Denys Poshyvanyk
, Rocco Oliveto:
Automatically assessing code understandability: how far are we? 417-427 - Mohammad Masudur Rahman
, Chanchal K. Roy:
Improved query reformulation for concept location using CodeRank and document structures. 428-439 - Lin Shi
, Celia Chen, Qing Wang, Shoubin Li, Barry W. Boehm:
Understanding feature requests by leveraging fuzzy method and linguistic analysis. 440-450
Models
- Wenyi Qian, Xin Peng, Jun Sun
, Yijun Yu, Bashar Nuseibeh, Wenyun Zhao:
O2O service composition with social collaboration. 451-461 - Gwendal Daniel, Frédéric Jouault, Gerson Sunyé, Jordi Cabot
:
Gremlin-ATL: a scalable model transformation framework. 462-472 - Mona Rahimi, Wandi Xiong, Jane Cleland-Huang, Robyn R. Lutz
:
Diagnosing assumption problems in safety-critical products. 473-484 - Emilio Incerto, Mirco Tribastone, Catia Trubiani:
Software performance self-adaptation through efficient model predictive control. 485-496 - Pooyan Jamshidi
, Norbert Siegmund, Miguel Velez, Christian Kästner, Akshay Patel, Yuvraj Agarwal:
Transfer learning for performance modeling of configurable systems: an exploratory analysis. 497-508
Reliability and Bugs
- Anthony Di Franco, Hui Guo, Cindy Rubio-González:
A comprehensive study of real-world numerical bug characteristics. 509-519 - Jie Wang, Wensheng Dou, Yu Gao, Chushu Gao, Feng Qin, Kang Yin, Jun Wei:
A comprehensive study on real world concurrency bugs in Node.js. 520-531
Source Code Analysis
- Yoshiki Higo, Akio Ohtani, Shinji Kusumoto:
Generating simpler AST edit scripts by considering copy-and-paste. 532-542 - Olaf Leßenich
, Sven Apel
, Christian Kästner, Georg Seibt, Janet Siegmund:
Renaming and shifted code in structured merging: looking ahead for precision and performance. 543-553 - Massimiliano Menarini, Yan Yan, William G. Griswold
:
Semantics-assisted code review: an efficient toolchain and a user study. 554-565 - Frolin S. Ocariza Jr., Karthik Pattabiraman, Ali Mesbah
:
Detecting unknown inconsistencies in web applications. 566-577 - Kristín Fjóla Tómasdóttir, Mauricio Finavaro Aniche, Arie van Deursen
:
Why and how JavaScript developers use linters. 578-589
Symbolic Execution
- Timotej Kapus
, Cristian Cadar
:
Automatic testing of symbolic execution engines via program generation and differential testing. 590-600 - Daniel Liew, Daniel Schemmel
, Cristian Cadar
, Alastair F. Donaldson, Rafael Zähl, Klaus Wehrle
:
Floating-point symbolic execution: a case study in n-version programming. 601-612 - Emilio Coppa
, Daniele Cono D'Elia
, Camil Demetrescu:
Rethinking pointer reasoning in symbolic execution. 613-618 - Eman Alatawi, Harald Søndergaard
, Tim Miller:
Leveraging abstract interpretation for efficient dynamic symbolic execution. 619-624
Program Repair
- Aaron Weiss, Arjun Guha, Yuriy Brun:
Tortoise: interactive system configuration repair. 625-636 - Liushan Chen
, Yu Pei
, Carlo A. Furia:
Contract-based program repair without the contracts. 637-647 - Ripon K. Saha, Yingjun Lyu, Hiroaki Yoshida, Mukul R. Prasad:
ELIXIR: effective object oriented program repair. 648-659 - Qi Xin, Steven P. Reiss:
Leveraging syntax-related code for automated program repair. 660-670
Recommender Systems
- Hao Zhong
, Xiaoyin Wang
:
Boosting complete-code tool for partial program. 671-681 - Yixiao Yang, Yu Jiang, Ming Gu, Jiaguang Sun, Jian Gao, Han Liu:
A language model for statements of software code. 682-687 - Marko Gasparic, Tural Gurbanov
, Francesco Ricci
:
Context-aware integrated development environment command recommender systems. 688-693 - Thomas Rolfsnes, Leon Moonen
, David W. Binkley:
Predicting relevance of change recommendations. 694-705 - Bowen Xu, Zhenchang Xing, Xin Xia
, David Lo
:
AnswerBot: automated generation of answer summary to developersź technical questions. 706-716 - Zizhe Wang, Hailong Sun, Yang Fu, Luting Ye:
Recommending crowdsourced software developers in consideration of skill improvement. 717-722 - Sara Pérez-Soler
, Esther Guerra, Juan de Lara, Francisco Jurado
:
The rise of the (modelling) bots: towards assisted modelling via social networks. 723-728
Concurrency
- Jinpeng Zhou, Sam Silvestro, Hongyu Liu, Yan Cai, Tongping Liu:
UNDEAD: detecting and preventing deadlocks in production software. 729-740 - Mahmoud Abdelrasoul:
Promoting secondary orders of event pairs in randomized scheduling using a randomized stride. 741-752 - Truc L. Nguyen, Peter Schrammel
, Bernd Fischer
, Salvatore La Torre, Gennaro Parlato
:
Parallel bug-finding in concurrent programs via reduced interleaving instances. 753-764 - Gustavo Pinto, Anthony Canino, Fernando Castor
, Guoqing Xu, Yu David Liu:
Understanding and overcoming parallelism bottlenecks in ForkJoin applications. 765-775 - Patrick Metzler, Habib Saissi, Péter Bokor, Neeraj Suri
:
Quick verification of concurrent programs by iteratively relaxed scheduling. 776-781
Program Synthesis
- Jiaying Li, Jun Sun
, Li Li, Quang Loc Le, Shang-Wei Lin
:
Automatic loop-invariant generation and refinement through selective sampling. 782-792 - Shang-Wei Lin
, Jun Sun
, Hao Xiao, Yang Liu
, David Sanán
, Henri Hansen
:
FiB: squeezing loop invariants by interpolation between Forward/Backward predicate transformers. 793-803 - ThanhVu Nguyen, Matthew B. Dwyer
, Willem Visser:
SymInfer: inferring program invariants using symbolic states. 804-814 - Alan Leung, Sorin Lerner:
Parsimony: an IDE for example-guided synthesis of lexers and parsers. 815-825 - Thomas Krismayer, Rick Rabiser
, Paul Grünbacher
:
Mining constraints for event-based monitoring in systems of systems. 826-831 - Shayan Zamanirad, Boualem Benatallah
, Moshe Chai Barukh, Fabio Casati, Carlos Rodríguez:
Programming bots by synthesizing natural language expressions into API invocations. 832-837
Testing
- Jeanderson Cândido
, Luis Melo
, Marcelo d'Amorim
:
Test suite parallelization in open-source projects: a study on its usage and impact. 838-848 - Lin Cheng, Zijiang Yang, Chao Wang:
Systematic reduction of GUI test sequences. 849-860 - Satia Herfert, Jibesh Patra
, Michael Pradel:
Automatically reducing tree-structured test inputs. 861-871 - Ghanem Soltana, Mehrdad Sabetzadeh
, Lionel C. Briand:
Synthetic data generation for statistical testing. 872-882
Visualization, Models, and Synthesis
- Youn Kyu Lee, Peera Yoodee, Arman Shahbazian, Daye Nam, Nenad Medvidovic:
SEALANT: a detection and visualization tool for inter-app security vulnerabilities in Android. 883-888 - Lisa Maria Kritzinger, Thomas Krismayer, Michael Vierhauser
, Rick Rabiser
, Paul Grünbacher
:
Visualization support for requirements monitoring in systems of systems. 889-894 - Steven P. Reiss, Qi Xin:
A demonstration of simultaneous execution and editing in a development environment. 895-900 - Lukas Schmidt, Apurva Narayan, Sebastian Fischmeister:
TREM: a tool for mining timed regular specifications from system traces. 901-906 - Ferhat Erata
, Claire Gardent, Bikash Gyawali, Anastasia Shimorina, Yvan Lussaud, Bedir Tekinerdogan
, Geylani Kardas
, Anne Monceaux:
ModelWriter: text and model-synchronized document engineering platform. 907-912 - Christopher Pietsch, Manuel Ohrndorf, Udo Kelter, Timo Kehrer:
Incrementally slicing editable submodels. 913-918 - Alessandro Abate, Iury Bessa
, Dario Cattaruzza, Lennon C. Chaves
, Lucas C. Cordeiro
, Cristina David, Pascal Kesseli
, Daniel Kroening
, Elizabeth Polgreen:
DSSynth: an automated digital controller synthesis tool for physical plants. 919-924
Analysis and Testing
- Yuexing Wang, Min Zhou, Yu Jiang, Xiaoyu Song, Ming Gu, Jiaguang Sun:
A static analysis tool with optimizations for reachability determination. 925-930 - Stefan Krüger, Sarah Nadi, Michael Reif, Karim Ali, Mira Mezini, Eric Bodden, Florian Göpfert, Felix Günther, Christian Weinert
, Daniel Demmler, Ram Kamath:
CogniCrypt: supporting developers in using cryptography. 931-936 - Flavio Corradini, Fabrizio Fornari
, Andrea Polini, Barbara Re, Francesco Tiezzi, Andrea Vandin
:
BProVe: tool support for business process verification. 937-942 - Fredrik Kjolstad
, Stephen Chou, David Lugato, Shoaib Kamil, Saman P. Amarasinghe:
taco: a tool to generate tensor algebra kernels. 943-948 - Owolabi Legunsen, August Shi, Darko Marinov:
STARTS: STAtic regression test selection. 949-954 - Jonathan A. Saddler, Myra B. Cohen:
EventFlowSlicer: a tool for generating realistic goal-driven GUI tests. 955-960 - Lakhdar Meftah, María Gómez, Romain Rouvoy
, Isabelle Chrisment:
ANDROFLEET: testing WiFi peer-to-peer mobile apps in the large. 961-966
Search and Editing
- Muhammad Asaduzzaman, Chanchal K. Roy, Kevin A. Schneider, Daqing Hou:
FEMIR: a tool for recommending framework extension examples. 967-972 - Jinfeng Lin, Yalin Liu, Jin Guo, Jane Cleland-Huang, William Goss, Wenchuang Liu, Sugandha Lohar, Natawut Monaikul, Alexander Rasin:
TiQi: a natural language interface for querying software project data. 973-977 - Gias Uddin, Foutse Khomh:
Opiner: an opinion search and summarization engine for APIs. 978-983 - Raffi Khatchadourian
, Hidehiko Masuhara:
Defaultification refactoring: a tool for automatically converting Java methods to default. 984-989 - Julián Grigera
, Alejandra Garrido
, Gustavo Rossi:
Kobold: web usability as a service. 990-995 - Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun:
IntPTI: automatic integer error repair with proper-type inference. 996-1001
Doctoral Symposium
- Rahul Krishna:
Learning effective changes for software projects. 1002-1005 - Jie Wang:
Characterizing and taming non-deterministic bugs in JavaScript applications. 1006-1009 - Sebastian Nielebock:
Towards API-specific automatic program repair. 1010-1013 - Yi Li
:
Managing software evolution through semantic history slicing. 1014-1017 - Chris Mills:
Towards the automatic classification of traceability links. 1018-1021 - Kazi Zakia Sultana:
Towards a software vulnerability prediction model using traceable code patterns and software metrics. 1022-1025 - Saheed A. Busari:
Towards search-based modelling and analysis of requirements and architecture decisions. 1026-1029 - Michele Guerriero:
Privacy-aware data-intensive applications. 1030-1033
![](https://dblp.org/img/cog.dark.24x24.png)
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.