|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1187 occurrences of 727 keywords
|
|
|
Results
Found 2695 publication records. Showing 2695 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Jeffrey Palmerino, Qi Yu 0001, Travis Desell, Daniel E. Krutz |
Improving the Decision-Making Process of Self-Adaptive Systems by Accounting for Tactic Volatility. |
ASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Mark Mossberg, Felipe Manzano, Eric Hennenfent, Alex Groce, Gustavo Grieco, Josselin Feist, Trent Brunson, Artem Dinaburg |
Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts. |
ASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Jiajun Jiang, Luyao Ren, Yingfei Xiong 0001, Lingming Zhang 0001 |
Inferring Program Transformations From Singular Examples via Big Code. |
ASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ahyoung Sung, Sangjun Kim, Yangsu Kim, Younggun Jang, Jongin Kim |
Test Automation and Its Limitations: A Case Study. |
ASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Wujie Zheng, Haochuan Lu, Yangfan Zhou, Jianming Liang, Haibing Zheng, Yuetang Deng |
iFeedback: Exploiting User Feedback for Real-Time Issue Detection in Large-Scale Online Service Systems. |
ASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Xiaoyu Liu, LiGuo Huang, Jidong Ge, Vincent Ng 0001 |
Predicting Licenses for Changed Source Code. |
ASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Shufan Zhou, Beijun Shen, Hao Zhong 0001 |
Lancer: Your Code Tell Me What You Need. |
ASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Mojtaba Bagherzadeh, Karim Jahed, Nafiseh Kahani, Juergen Dingel |
PMExec: An Execution Engine of Partial UML-RT Models. |
ASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Frédéric Recoules, Sébastien Bardin, Richard Bonichon, Laurent Mounier, Marie-Laure Potet |
Get Rid of Inline Assembly through Verification-Oriented Lifting. |
ASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Son Van Nguyen, Tien N. Nguyen, Yi Li, Shaohua Wang 0002 |
Combining Program Analysis and Statistical Language Model for Code Statement Completion. |
ASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Xiaoxue Ren, Zhenchang Xing, Xin Xia 0001, Guoqiang Li 0001, Jianling Sun |
Discovering, Explaining and Summarizing Controversial Discussions in Community Q&A Sites. |
ASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Louis G. Michael IV, James Donohue, James C. Davis 0001, Dongyoon Lee, Francisco Servant |
Regexes are Hard: Decision-Making, Difficulties, and Risks in Programming Regular Expressions. |
ASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ruijie Meng, Biyun Zhu, Hao Yun, Haicheng Li, Yan Cai 0001, Zijiang Yang 0006 |
CONVUL: An Effective Tool for Detecting Concurrency Vulnerabilities. |
ASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Daniil Stepanov, Marat Akhin, Mikhail A. Belyaev |
ReduKtor: How We Stopped Worrying About Bugs in Kotlin Compiler. |
ASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Shuyao Jiang |
Boosting Neural Commit Message Generation with Code Semantic Analysis. |
ASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Yi Wang |
Emotions Extracted from Text vs. True Emotions-An Empirical Evaluation in SE Context. |
ASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Yutian Tang, Xian Zhan, Hao Zhou, Xiapu Luo, Zhou Xu 0003, Yajin Zhou, Qiben Yan |
Demystifying Application Performance Management Libraries for Android. |
ASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Vaibhav Sharma 0001 |
Automatically Repairing Binary Programs Using Adapter Synthesis. |
ASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Pavan Kumar Chittimalli, Kritika Anand, Shrishti Pradhan, Sayandeep Mitra, Chandan Prakash, Rohit Shere, Ravindra Naik |
BuRRiTo: A Framework to Extract, Specify, Verify and Analyze Business Rules. |
ASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Yida Tao, Shan Tang, Yepang Liu 0001, Zhiwu Xu 0001, Shengchao Qin |
How Do API Selections Affect the Runtime Performance of Data Analytics Tasks? |
ASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Jianxiong Gao, Steven S. Lumetta |
Loop path reduction by state pruning. |
ASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Rijnard van Tonder, John Kotheimer, Claire Le Goues |
Semantic crash bucketing. |
ASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Julien Delplanque |
Software engineering techniques applied to relational databases. |
ASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Dominik Helm, Florian Kübler, Michael Eichberg, Michael Reif, Mira Mezini |
A unified lattice model and framework for purity analyses. |
ASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Gharib Gharibi, Rashmi Tripathi, Yugyung Lee |
Code2graph: automatic generation of static call graphs for Python source code. |
ASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jane Cleland-Huang |
Automated requirements engineering challenges with examples from small unmanned aerial systems (keynote). |
ASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Yutaka Nagashima, Yilun He |
PaMpeR: proof method recommendation system for Isabelle/HOL. |
ASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Zhenhao Tang, Juan Zhai, Minxue Pan, Yousra Aafer, Shiqing Ma, Xiangyu Zhang 0001, Jianhua Zhao |
Dual-force: understanding WebView malware via cross-language forced execution. |
ASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Keheliya Gallaba, Christian Macho, Martin Pinzger 0001, Shane McIntosh |
Noise and heterogeneity in historical build data: an empirical study of Travis CI. |
ASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | David Sferruzza |
Top-down model-driven engineering of web services from extended OpenAPI models. |
ASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Kaiyuan Wang, Allison Sullivan, Sarfraz Khurshid |
Automated model repair for Alloy. |
ASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Benno Stein 0002, Lazaro Clapp, Manu Sridharan, Bor-Yuh Evan Chang |
Safe stream-based programming with refinement types. |
ASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Mengshi Zhang, Yuqun Zhang, Lingming Zhang 0001, Cong Liu 0005, Sarfraz Khurshid |
DeepRoad: GAN-based metamorphic testing and input validation framework for autonomous driving systems. |
ASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Sakshi Udeshi, Pryanshu Arora, Sudipta Chattopadhyay 0001 |
Automated directed fairness testing. |
ASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Lauren Herckis |
Implementation science for software engineering: bridging the gap between research and practice (keynote). |
ASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Vladimir Kovalenko, Fabio Palomba, Alberto Bacchelli |
Mining file histories: should we consider branches? |
ASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Sarra Habchi, Xavier Blanc 0001, Romain Rouvoy |
On adopting linters to deal with performance concerns in Android apps. |
ASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Yun Lin 0001, Jun Sun 0001, Lyly Tran, Guangdong Bai, Haijun Wang, Jin Song Dong |
Break the dead end of dynamic slicing: localizing data and control omission bug. |
ASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | 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. |
ASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Mahmoud Hammad, Joshua Garcia, Sam Malek |
Self-protection of Android systems from inter-component communication attacks. |
ASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Gabriël Konat, Sebastian Erdweg, Eelco Visser |
Scalable incremental building with dynamic task dependencies. |
ASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Xue Han, Tingting Yu, David Lo 0001 |
PerfLearner: learning from bug reports to understand and generate performance test frames. |
ASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Wensheng Dou, Shi Han, Liang Xu, Dongmei Zhang 0001, Jun Wei 0001 |
Expandable group identification in spreadsheets. |
ASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Federico Mora, Yi Li 0008, Julia Rubin, Marsha Chechik |
Client-specific equivalence checking. |
ASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Manasi Patwardhan 0001, Abhishek Sainani, Richa Sharma, Shirish Karande 0001, Smita Ghaisas |
Towards automating disambiguation of regulations: using the wisdom of crowds. |
ASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Dirk Beyer 0001, Thomas Lemberger 0002 |
CPA-SymExec: efficient symbolic execution in CPAchecker. |
ASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Han Liu 0010, Chao Liu 0032, Wenqi Zhao, Yu Jiang 0001, Jiaguang Sun 0001 |
S-gram: towards semantic-aware security auditing for Ethereum smart contracts. |
ASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Krismayer |
Automatic mining of constraints for monitoring systems of systems. |
ASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Florian Galinier |
A DSL for requirements in the context of a seamless approach. |
ASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Habib, Michael Pradel |
Is this class thread-safe? inferring documentation using graph-based learning. |
ASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Foyzul Hassan, Rodney Rodriguez, Xiaoyin Wang |
RUDSEA: recommending updates of Dockerfiles via software environment analysis. |
ASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Carmine Vassallo, Fabio Palomba, Alberto Bacchelli, Harald C. Gall |
Continuous code quality: are we (really) doing that? |
ASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Oscar Luis Vera-Pérez, Martin Monperrus, Benoit Baudry |
Descartes: a PITest engine to detect pseudo-tested methods: tool demonstration. |
ASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Luca Traini |
A multi-objective framework for effective performance fault injection in distributed systems. |
ASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Pinjia He, Zhuangbin Chen, Shilin He, Michael R. Lyu |
Characterizing the natural language descriptions in software logging statements. |
ASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Steven P. Reiss, Qi Xin, Jeff Huang 0002 |
SEEDE: simultaneous execution and editing in a development environment. |
ASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ali Ouni 0001, Marouane Kessentini, Mel Ó Cinnéide (eds.) |
Proceedings of the 2nd International Workshop on Refactoring, IWoR@ASE 2018, Montpellier, France, September 4, 2018 |
ASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Dirk Beyer 0001, Karlheinz Friedberger |
Domain-independent multi-threaded software model checking. |
ASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Raja Ben Abdessalem, Annibale Panichella, Shiva Nejati, Lionel C. Briand, Thomas Stifter |
Testing autonomous cars for feature interaction failures using many-objective search. |
ASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Yu Qu, Ting Liu 0002, Jianlei Chi, Yangxu Jin, Di Cui, Ancheng He, Qinghua Zheng |
node2defect: using network embedding to improve software defect prediction. |
ASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Philipp Haindl |
Assessing and evaluating functional suitability of software. |
ASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Julien Brunel, David Chemouil, Alcino Cunha, Nuno Macedo |
The electrum analyzer: model checking relational first-order temporal specifications. |
ASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Julián Grigera, Juan Cruz Gardey, Alejandra Garrido 0001, Gustavo Rossi |
Live versioning of web applications through refactoring. |
ASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Xiang Gao 0012, Shin Hwei Tan, Zhen Dong, Abhik Roychoudhury |
Android testing via synthetic symbolic execution. |
ASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Hashim Sharif, Muhammad Abubakar, Ashish Gehani, Fareed Zaffar |
TRIMMER: application specialization for code debloating. |
ASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Valerio Terragni, Mauro Pezzè |
Effectiveness and challenges in generating concurrent tests for thread-safe classes. |
ASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Habib, Michael Pradel |
How many of all bugs do we find? a study of static bug detectors. |
ASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Boyuan Chen 0002, Jian Song, Peng Xu, Xing Hu 0001, Zhen Ming (Jack) Jiang |
An automated approach to estimating code coverage measures via execution logs. |
ASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jie Liu 0020, Diyu Wu, Jingling Xue |
TDroid: exposing app switching attacks in Android with control flow specialization. |
ASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | John-Paul Ore, Sebastian G. Elbaum, Carrick Detweiler, Lambros Karkazis |
Assessing the type annotation burden. |
ASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Hung-En Wang, Shih-Yu Chen, Fang Yu 0001, Jie-Hong R. Jiang |
A symbolic model checking approach to the analysis of string and length constraints. |
ASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Huarui Lin, Zan Wang, Shuang Liu 0007, Jun Sun 0001, Dongdi Zhang, Guangning Wei |
PFix: fixing concurrency bugs based on memory access patterns. |
ASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Bingchang Liu, Wei Huo, Chao Zhang 0008, Wenchao Li, Feng Li, Aihua Piao, Wei Zou |
αDiff: cross-version binary code similarity detection with DNN. |
ASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ameni Ben Fadhel, Domenico Bianculli, Lionel C. Briand |
Model-driven run-time enforcement of complex role-based access control policies. |
ASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Yi Huang, Chunyang Chen, Zhenchang Xing, Tian Lin, Yang Liu 0003 |
Tell them apart: distilling technology differences from crowd-scale comparison discussions. |
ASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Nataniel P. Borges Jr., Jenny Hotzkow, Andreas Zeller |
DroidMate-2: a platform for Android test generation. |
ASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Gail C. Murphy |
The need for context in software engineering (IEEE CS Harlan Mills award keynote). |
ASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Simone Scalabrino, Giovanni Grano, Dario Di Nucci, Michele Guerra, Andrea De Lucia, Harald C. Gall, Rocco Oliveto |
OCELOT: a search-based test-data generation tool for C. |
ASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Dongjie He, Lian Li 0002, Lei Wang 0004, Hengjie Zheng, Guangwei Li, Jingling Xue |
Understanding and detecting evolution-induced compatibility issues in Android apps. |
ASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Liang Bao, Xin Liu 0002, Ziheng Xu, Baoyin Fang |
AutoConfig: automatic configuration tuning for distributed message systems. |
ASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jiajun Hu, Lili Wei, Yepang Liu 0001, Shing-Chi Cheung, Huaxun Huang |
A tale of two cities: how WebView induces bugs to Android applications. |
ASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Li Li 0029, Guozhu Meng, Jacques Klein, Sam Malek (eds.) |
Proceedings of the 1st International Workshop on Advances in Mobile App Analysis, A-Mobile@ASE 2018, Montpellier, France, September 4, 2018 |
ASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jian Gao 0008, Xin Yang, Ying Fu, Yu Jiang 0001, Jiaguang Sun 0001 |
VulSeeker: a semantic learning based vulnerability seeker for cross-platform binary. |
ASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Hui Liu 0003, Zhifeng Xu, Yanzhen Zou |
Deep learning based feature envy detection. |
ASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Bo Jiang 0001, Ye Liu, W. K. Chan 0001 |
ContractFuzzer: fuzzing smart contracts for vulnerability detection. |
ASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ran Mo, Will Snipes, Yuanfang Cai, Srini Ramaswamy, Rick Kazman, Martin Naedele |
Experiences applying automated architecture analysis tool suites. |
ASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Sooyoung Cha, Seonho Lee, Hakjoo Oh |
Template-guided concolic testing via online learning. |
ASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Marianne Huchard, Christian Kästner, Gordon Fraser 0001 (eds.) |
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, ASE 2018, Montpellier, France, September 3-7, 2018 |
ASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Kaifeng Huang, Bihuan Chen 0001, Xin Peng 0001, Daihong Zhou, Ying Wang, Yang Liu 0003, Wenyun Zhao |
ClDiff: generating concise linked code differences. |
ASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jialun Cao, Yongjian Li, Jun Pang 0001 |
L-CMP: an automatic learning-based parameterized verification tool. |
ASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Nipun Arora, Jonathan Bell 0001, Franjo Ivancic, Gail E. Kaiser, Baishakhi Ray |
Replay without recording of production bugs for service oriented applications. |
ASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Davide Falessi, Massimiliano Di Penta, Gerardo Canfora, Giovanni Cantone |
Estimating the number of remaining links in traceability recovery (journal-first abstract). |
ASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Yuju Shen, Yanyan Jiang 0001, Chang Xu 0001, Ping Yu 0004, Xiaoxing Ma, Jian Lu 0001 |
ReScue: crafting regular expression DoS attacks. |
ASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Yixue Zhao, Paul Wat, Marcelo Schmitt Laser, Nenad Medvidovic |
Empirically assessing opportunities for prefetching and caching in mobile apps. |
ASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Luting Ye, Hailong Sun 0001, Xu Wang 0007, Jiaruijue Wang |
Personalized teammate recommendation for crowdsourced software developers. |
ASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jianhui Chen, Fei He 0001 |
Control flow-guided SMT solving for program verification. |
ASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Farah Hariri, August Shi |
SRCIROR: a toolset for mutation testing of C source code and LLVM intermediate representation. |
ASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Michael Hilton, Jonathan Bell 0001, Darko Marinov |
A large-scale study of test coverage evolution. |
ASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Davrondzhon Gafurov, Arne Erik Hurum, Martin Markman |
Achieving test automation with testers without coding skills: an industrial report. |
ASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Michele Tufano, Cody Watson, Gabriele Bavota, Massimiliano Di Penta, Martin White, Denys Poshyvanyk |
An empirical investigation into learning bug-fixing patches in the wild via neural machine translation. |
ASE |
2018 |
DBLP DOI BibTeX RDF |
|
|
|