|
|
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 | Jiachi Chen |
Finding Ethereum Smart Contracts Security Issues by Comparing History Versions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020, pp. 1382-1384, 2020, IEEE, 978-1-4503-6768-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Gail C. Murphy |
Is Software Engineering Research Addressing Software Engineering Problems? (Keynote). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020, pp. 4-5, 2020, IEEE, 978-1-4503-6768-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Yinxing Xue, Mingliang Ma, Yun Lin 0001, Yulei Sui, Jiaming Ye, Tianyong Peng |
Cross-Contract Static Analysis for Detecting Practical Reentrancy Vulnerabilities in Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020, pp. 1029-1040, 2020, IEEE, 978-1-4503-6768-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Nataniel P. Borges, Jenny Rau, Andreas Zeller |
Speeding up GUI Testing by On-Device Test Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020, pp. 1340-1343, 2020, IEEE, 978-1-4503-6768-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Zhe Liu 0025, Chunyang Chen, Junjie Wang 0001, Yuekai Huang, Jun Hu, Qing Wang 0001 |
Owl Eyes: Spotting UI Display Issues via Visual Understanding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020, pp. 398-409, 2020, IEEE, 978-1-4503-6768-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Alan Romano, Yunhui Zheng, Weihang Wang 0001 |
MinerRay: Semantics-Aware Analysis for Ever-Evolving Cryptojacking Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020, pp. 1129-1140, 2020, IEEE, 978-1-4503-6768-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Shangqing Liu |
A Unified Framework to Learn Program Semantics with Graph Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020, pp. 1364-1366, 2020, IEEE, 978-1-4503-6768-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Yi Wu |
Anti-patterns for Java Automated Program Repair Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020, pp. 1367-1369, 2020, IEEE, 978-1-4503-6768-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Davrondzhon Gafurov, Margrete Sunde Grovan, Arne Erik Hurum |
Lightweight MBT Testing for National e-Health Portal in Norway. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020, pp. 1194-1198, 2020, IEEE, 978-1-4503-6768-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Wei Wang 0334, Ruoxi Sun 0001, Minhui Xue, Damith C. Ranasinghe |
An Automated Assessment of Android Clipboards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020, pp. 1249-1251, 2020, IEEE, 978-1-4503-6768-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Samuel Benton, Xia Li 0009, Yiling Lou, Lingming Zhang 0001 |
On the Effectiveness of Unified Debugging: An Extensive Study on 16 Program Repair Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020, pp. 907-918, 2020, IEEE, 978-1-4503-6768-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Shuai Wang 0011, Zhendong Su 0001 |
Metamorphic Object Insertion for Testing Object Detection Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020, pp. 1053-1065, 2020, IEEE, 978-1-4503-6768-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Mitchell Olsthoorn, Arie van Deursen, Annibale Panichella |
Generating Highly-structured Input Data by Combining Search-based Testing and Grammar-based Fuzzing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020, pp. 1224-1228, 2020, IEEE, 978-1-4503-6768-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Yueming Wu, Deqing Zou, Shihan Dou, Siru Yang, Wei Yang 0013, Feng Cheng, Hong Liang, Hai Jin 0001 |
SCDetector: Software Functional Clone Detection Based on Semantic Tokens Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020, pp. 821-833, 2020, IEEE, 978-1-4503-6768-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Alan Romano, Weihang Wang 0001 |
WASim: Understanding WebAssembly Applications through Classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020, pp. 1321-1325, 2020, IEEE, 978-1-4503-6768-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Xiaoxue Ren, Xinyuan Ye, Zhenchang Xing, Xin Xia 0001, Xiwei Xu 0001, Liming Zhu 0001, Jianling Sun |
API-Misuse Detection Driven by Fine-Grained API-Constraint Knowledge Graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020, pp. 461-472, 2020, IEEE, 978-1-4503-6768-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Christian Schindler |
Towards Transparency-Encouraging Partial Software Disclosure to Enable Trust in Data Usage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020, pp. 1167-1169, 2020, IEEE, 978-1-4503-6768-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Hoang Lam Nguyen, Nebras Nassar, Timo Kehrer, Lars Grunske |
MoFuzz: A Fuzzer Suite for Testing Model-Driven Software Engineering Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020, pp. 1103-1115, 2020, IEEE, 978-1-4503-6768-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Xiaoning Du 0001, Yi Li 0008, Xiaofei Xie, Lei Ma 0003, Yang Liu 0003, Jianjun Zhao 0001 |
Marble: Model-based Robustness Analysis of Stateful Deep Learning Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020, pp. 423-435, 2020, IEEE, 978-1-4503-6768-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Hala Abdelkader |
Towards Robust Production Machine Learning Systems: Managing Dataset Shift. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020, pp. 1164-1166, 2020, IEEE, 978-1-4503-6768-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Bruce Collie, Philip Ginsbach, Jackson Woodruff, Ajitha Rajan, Michael F. P. O'Boyle |
M3: Semantic API Migrations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020, pp. 90-102, 2020, IEEE, 978-1-4503-6768-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Martin Kellogg, Martin Schäf, Serdar Tasiran, Michael D. Ernst |
Continuous Compliance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020, pp. 511-523, 2020, IEEE, 978-1-4503-6768-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Jesse Bartels, Jon Stephens, Saumya Debray |
Representing and Reasoning about Dynamic Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020, pp. 312-323, 2020, IEEE, 978-1-4503-6768-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Kristian Kolthoff, Christian Bartelt, Simone Paolo Ponzetto |
GUI2WiRe: Rapid Wireframing with a Mined and Large-Scale GUI Repository using Natural Language Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020, pp. 1297-1301, 2020, IEEE, 978-1-4503-6768-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Mohammad Jafar Mashhadi, Hadi Hemmati |
Hybrid Deep Neural Networks to Infer State Models of Black-Box Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020, pp. 299-311, 2020, IEEE, 978-1-4503-6768-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Omar Javed, Joshua Heneage Dawes, Marta Han, Giovanni Franzoni, Andreas Pfeiffer, Giles Reger, Walter Binder |
PerfCI: A Toolchain for Automated Performance Testing during Continuous Integration of Python Projects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020, pp. 1344-1348, 2020, IEEE, 978-1-4503-6768-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Yufeng Zhang 0001, Zhenbang Chen, Ziqi Shuai, Tianqi Zhang, Kenli Li 0001, Ji Wang 0001 |
Multiplex Symbolic Execution: Exploring Multiple Paths by Solving Once. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020, pp. 846-857, 2020, IEEE, 978-1-4503-6768-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | César Cornejo |
SAT-Based Arithmetic Support for Alloy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020, pp. 1161-1163, 2020, IEEE, 978-1-4503-6768-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Zhipeng Gao |
When Deep Learning Meets Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020, pp. 1400-1402, 2020, IEEE, 978-1-4503-6768-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Wuxia Jin, Yuanfang Cai, Rick Kazman, Gang Zhang, Qinghua Zheng, Ting Liu 0002 |
Exploring the Architectural Impact of Possible Dependencies in Python Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020, pp. 758-770, 2020, IEEE, 978-1-4503-6768-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Yueling Zhang, Geguang Pu, Jun Sun 0001 |
Accelerating All-SAT Computation with Short Blocking Clauses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020, pp. 6-17, 2020, IEEE, 978-1-4503-6768-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Devjeet Roy, Ziyi Zhang, Maggie Ma, Venera Arnaoudova, Annibale Panichella, Sebastiano Panichella, Danielle Gonzalez, Mehdi Mirakhorli |
DeepTC-Enhancer: Improving the Readability of Automatically Generated Tests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020, pp. 287-298, 2020, IEEE, 978-1-4503-6768-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Haining Feng |
A Program Verification based Approach to Find Data Race Vulnerabilities in Interrupt-driven Program. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020, pp. 1361-1363, 2020, IEEE, 978-1-4503-6768-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Zhiyuan Wan, Gail C. Murphy, Xin Xia 0001 |
Predicting Code Context Models for Software Development Tasks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020, pp. 809-820, 2020, IEEE, 978-1-4503-6768-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Marco Mobilio, Oliviero Riganelli, Daniela Micucci, Leonardo Mariani |
FILO: FIx-LOcus Localization for Backward Incompatibilities Caused by Android Framework Upgrades. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020, pp. 1292-1296, 2020, IEEE, 978-1-4503-6768-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Farnaz Behrang, Alessandro Orso |
Seven Reasons Why: An In-Depth Study of the Limitations of Random Test Input Generation for Android. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020, pp. 1066-1077, 2020, IEEE, 978-1-4503-6768-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Dan Zhang, Ping Luo 0004, Wei Tang, Min Zhou |
OSLDetector: Identifying Open-Source Libraries through Binary Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020, pp. 1312-1315, 2020, IEEE, 978-1-4503-6768-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | João F. Ferreira 0001, Pedro Cruz 0003, Thomas Durieux, Rui Abreu 0001 |
SmartBugs: A Framework to Analyze Solidity Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020, pp. 1349-1352, 2020, IEEE, 978-1-4503-6768-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Shahar Maoz, Ilia Shevrin |
Just-In-Time Reactive Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020, pp. 635-646, 2020, IEEE, 978-1-4503-6768-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Haochen He, Zhouyang Jia, Shanshan Li 0001, Erci Xu, Tingting Yu, Yue Yu 0001, Ji Wang 0001, Xiangke Liao |
CP-Detector: Using Configuration-related Performance Properties to Expose Performance Bugs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020, pp. 623-634, 2020, IEEE, 978-1-4503-6768-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Jianhui Chen, Fei He 0001 |
Proving Termination by k-Induction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020, pp. 1239-1243, 2020, IEEE, 978-1-4503-6768-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Chris Satterfield, Thomas Fritz 0001, Gail C. Murphy |
Identifying and Describing Information Seeking Tasks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020, pp. 797-808, 2020, IEEE, 978-1-4503-6768-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Haoye Tian, Kui Liu 0001, Abdoul Kader Kaboré, Anil Koyuncu, Li Li 0029, Jacques Klein, Tegawendé F. Bissyandé |
Evaluating Representation Learning of Code Changes for Predicting Patch Correctness in Program Repair. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020, pp. 981-992, 2020, IEEE, 978-1-4503-6768-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Brandon Paulsen, Jingbo Wang 0006, Jiawei Wang, Chao Wang 0001 |
NEURODIFF: Scalable Differential Verification of Neural Networks using Fine-Grained Approximation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020, pp. 784-796, 2020, IEEE, 978-1-4503-6768-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Anjana Perera, Aldeida Aleti, Marcel Böhme, Burak Turhan |
Defect Prediction Guided Search-Based Software Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020, pp. 448-460, 2020, IEEE, 978-1-4503-6768-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Harshita Diddee, Bhrigu Kansra |
CrossPriv: User Privacy Preservation Model for Cross-Silo Federated Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020, pp. 1370-1372, 2020, IEEE, 978-1-4503-6768-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Michael C. Gerten, James I. Lathrop, Myra B. Cohen, Titus H. Klinge |
ChemTest: An Automated Software Testing Framework for an Emerging Paradigm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020, pp. 548-560, 2020, IEEE, 978-1-4503-6768-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Yang Liu 0003, Mingwei Liu 0002, Xin Peng 0001, Christoph Treude, Zhenchang Xing, Xiaoxin Zhang |
Generating Concept based API Element Comparison Using a Knowledge Graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020, pp. 834-845, 2020, IEEE, 978-1-4503-6768-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Kamil Adipovich Masalimov |
A Machine Learning based Approach to Autogenerate Diagnostic Models for CNC machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020, pp. 1358-1360, 2020, IEEE, 978-1-4503-6768-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Guoliang Dong, Jingyi Wang 0004, Jun Sun 0001, Yang Zhang, Xinyu Wang 0001, Ting Dai, Jin Song Dong, Xingen Wang |
Towards Interpreting Recurrent Neural Networks through Probabilistic Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020, pp. 499-510, 2020, IEEE, 978-1-4503-6768-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Joymallya Chakraborty, Kewen Peng, Tim Menzies |
Making Fair ML Software using Trustworthy Explanation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020, pp. 1229-1233, 2020, IEEE, 978-1-4503-6768-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Yating Zhang |
Scalability and Precision Improvement of Neural Program Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020, pp. 1391-1393, 2020, IEEE, 978-1-4503-6768-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Hongyu Liu 0005, Ruiqin Tian, Tongping Liu, Bin Ren |
Prober: Practically Defending Overflows with Page Protection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020, pp. 1116-1128, 2020, IEEE, 978-1-4503-6768-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Zhenhao Li, Tse-Hsun Chen, Weiyi Shang |
Where Shall We Log? Studying and Suggesting Logging Locations in Code Blocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020, pp. 361-372, 2020, IEEE, 978-1-4503-6768-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Nikola Lukic, Saghar Talebipour, Nenad Medvidovic |
AirMochi - A Tool for Remotely Controlling iOS Devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020, pp. 1273-1277, 2020, IEEE, 978-1-4503-6768-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | David Gros, Hariharan Sezhiyan, Prem Devanbu, Zhou Yu 0005 |
Code to Comment "Translation": Data, Metrics, Baselining & Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020, pp. 746-757, 2020, IEEE, 978-1-4503-6768-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Nick Feng, Federico Mora, Vincent Hui, Marsha Chechik |
Scaling Client-Specific Equivalence Checking via Impact Boundary Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020, pp. 734-745, 2020, IEEE, 978-1-4503-6768-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Shangwen Wang, Ming Wen 0001, Bo Lin, Hongjun Wu, Yihao Qin, Deqing Zou, Xiaoguang Mao, Hai Jin 0001 |
Automated Patch Correctness Assessment: How Far are We? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020, pp. 968-980, 2020, IEEE, 978-1-4503-6768-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Zhenfei Cao, Xu Wang, Shengcheng Yu, Yexiao Yun, Chunrong Fang |
STIFA: Crowdsourced Mobile Testing Report Selection Based on Text and Image Fusion Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020, pp. 1331-1335, 2020, IEEE, 978-1-4503-6768-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Lili Quan, Qianyu Guo, Hongxu Chen 0001, Xiaofei Xie, Xiaohong Li 0001, Yang Liu 0003, Jing Hu 0007 |
SADT: Syntax-Aware Differential Testing of Certificate Validation in SSL/TLS Implementations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020, pp. 524-535, 2020, IEEE, 978-1-4503-6768-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Stöckle, Bernd Grobauer, Alexander Pretschner |
Automated Implementation of Windows-related Security-Configuration Guides. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020, pp. 598-610, 2020, IEEE, 978-1-4503-6768-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Chijin Zhou, Mingzhe Wang, Jie Liang 0006, Zhe Liu 0001, Yu Jiang 0001 |
Zeror: Speed Up Fuzzing with Coverage-sensitive Tracing and Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020, pp. 858-870, 2020, IEEE, 978-1-4503-6768-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Daohan Song, Hao Zhong 0001, Li Jia |
The Symptom, Cause and Repair of Workaround. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020, pp. 1264-1266, 2020, IEEE, 978-1-4503-6768-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | David Berend, Xiaofei Xie, Lei Ma 0003, Lingjun Zhou, Yang Liu 0003, Chi Xu, Jianjun Zhao 0001 |
Cats Are Not Fish: Deep Learning Testing Calls for Out-Of-Distribution Awareness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020, pp. 1041-1052, 2020, IEEE, 978-1-4503-6768-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Hung Viet Pham, Shangshu Qian, Jiannan Wang 0002, Thibaud Lutellier, Jonathan Rosenthal, Lin Tan 0001, Yaoliang Yu, Nachiappan Nagappan |
Problems and Opportunities in Training Deep Learning Software Systems: An Analysis of Variance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020, pp. 771-783, 2020, IEEE, 978-1-4503-6768-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Rashmi Mudduluru |
Verifying Determinism in Sequential Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019, San Diego, CA, USA, November 11-15, 2019, pp. 1271-1273, 2019, IEEE, 978-1-7281-2508-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Kapil Singi, R. P. Jagadeesh Chandra Bose, Sanjay Podder, Adam P. Burden |
Trusted Software Supply Chain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019, San Diego, CA, USA, November 11-15, 2019, pp. 1212-1213, 2019, IEEE, 978-1-7281-2508-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Yueming Wu, Xiaodi Li, Deqing Zou, Wei Yang 0013, Xin Zhang, Hai Jin 0001 |
MalScan: Fast Market-Wide Mobile Malware Scanning by Social-Network Centrality Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019, San Diego, CA, USA, November 11-15, 2019, pp. 139-150, 2019, IEEE, 978-1-7281-2508-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Yuanchun Li, Ziyue Yang, Yao Guo 0001, Xiangqun Chen |
Humanoid: A Deep Learning-Based Approach to Automated Black-box Android App Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019, San Diego, CA, USA, November 11-15, 2019, pp. 1070-1073, 2019, IEEE, 978-1-7281-2508-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Xusheng Xiao |
An Image-Inspired and CNN-Based Android Malware Detection Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019, San Diego, CA, USA, November 11-15, 2019, pp. 1259-1261, 2019, IEEE, 978-1-7281-2508-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Chijin Zhou, Mingzhe Wang, Jie Liang 0006, Zhe Liu 0001, Chengnian Sun, Yu Jiang 0001 |
VisFuzz: Understanding and Intervening Fuzzing with Interactive Visualization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019, San Diego, CA, USA, November 11-15, 2019, pp. 1078-1081, 2019, IEEE, 978-1-7281-2508-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Martin Nowack |
Fine-Grain Memory Object Representation in Symbolic Execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019, San Diego, CA, USA, November 11-15, 2019, pp. 912-923, 2019, IEEE, 978-1-7281-2508-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Mauricio Soto |
Improving Patch Quality by Enhancing Key Components of Automatic Program Repair. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019, San Diego, CA, USA, November 11-15, 2019, pp. 1230-1233, 2019, IEEE, 978-1-7281-2508-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Qianyu Guo, Sen Chen 0001, Xiaofei Xie, Lei Ma 0003, Qiang Hu, Hongtao Liu, Yang Liu 0003, Jianjun Zhao 0001, Xiaohong Li 0001 |
An Empirical Study Towards Characterizing Deep Learning Development and Deployment Across Different Frameworks and Platforms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019, San Diego, CA, USA, November 11-15, 2019, pp. 810-822, 2019, IEEE, 978-1-7281-2508-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Reza Ahmadi, Karim Jahed, Juergen Dingel |
mCUTE: A Model-Level Concolic Unit Testing Engine for UML State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019, San Diego, CA, USA, November 11-15, 2019, pp. 1182-1185, 2019, IEEE, 978-1-7281-2508-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ahmet Çelik, Karl Palmskog, Marinela Parovic, Emilio Jesús Gallego Arias, Milos Gligoric 0001 |
Mutation Analysis for Coq. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019, San Diego, CA, USA, November 11-15, 2019, pp. 539-551, 2019, IEEE, 978-1-7281-2508-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Xiaoning Du 0001, Xiaofei Xie, Yi Li 0008, Lei Ma 0003, Yang Liu 0003, Jianjun Zhao 0001 |
A Quantitative Analysis Framework for Recurrent Neural Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019, San Diego, CA, USA, November 11-15, 2019, pp. 1062-1065, 2019, IEEE, 978-1-7281-2508-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Madeline Endres, Georgios Sakkas, Benjamin Cosman, Ranjit Jhala, Westley Weimer |
InFix: Automatically Repairing Novice Program Inputs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019, San Diego, CA, USA, November 11-15, 2019, pp. 399-410, 2019, IEEE, 978-1-7281-2508-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Zan Wang, Yingquan Zhao, Shuang Liu 0007, Jun Sun 0001, Xiang Chen 0005, Huarui Lin |
MAP-Coverage: A Novel Coverage Criterion for Testing Thread-Safe Classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019, San Diego, CA, USA, November 11-15, 2019, pp. 722-734, 2019, IEEE, 978-1-7281-2508-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Mingyuan Wu, Lingming Zhang 0001, Cong Liu 0005, Shin Hwei Tan, Yuqun Zhang |
Automating CUDA Synchronization via Program Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019, San Diego, CA, USA, November 11-15, 2019, pp. 748-759, 2019, IEEE, 978-1-7281-2508-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Guilherme Cavalcanti, Paulo Borba, Georg Seibt, Sven Apel |
The Impact of Structure on Software Merging: Semistructured Versus Structured Merge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019, San Diego, CA, USA, November 11-15, 2019, pp. 1002-1013, 2019, IEEE, 978-1-7281-2508-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Xiaodong Gu 0002, Hongyu Zhang 0002, Sunghun Kim 0001 |
CodeKernel: A Graph Kernel Based Approach to the Selection of API Usage Examples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019, San Diego, CA, USA, November 11-15, 2019, pp. 590-601, 2019, IEEE, 978-1-7281-2508-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Jeremy Lacomis, Pengcheng Yin, Edward J. Schwartz, Miltiadis Allamanis, Claire Le Goues, Graham Neubig, Bogdan Vasilescu |
DIRE: A Neural Approach to Decompiled Identifier Naming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019, San Diego, CA, USA, November 11-15, 2019, pp. 628-639, 2019, IEEE, 978-1-7281-2508-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Rohit Mehra, Vibhu Saujanya Sharma, Vikrant Kaulgud, Sanjay Podder |
XRaSE: Towards Virtually Tangible Software using Augmented Reality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019, San Diego, CA, USA, November 11-15, 2019, pp. 1194-1197, 2019, IEEE, 978-1-7281-2508-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Xiaofei Xie, Hongxu Chen 0001, Yi Li 0008, Lei Ma 0003, Yang Liu 0003, Jianjun Zhao 0001 |
Coverage-Guided Fuzzing for Feedforward Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019, San Diego, CA, USA, November 11-15, 2019, pp. 1162-1165, 2019, IEEE, 978-1-7281-2508-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Zhouyang Jia, Shanshan Li 0001, Tingting Yu, Xiangke Liao, Ji Wang 0001, Xiaodong Liu 0004, Yunhuai Liu |
Detecting Error-Handling Bugs without Error Specification Input. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019, San Diego, CA, USA, November 11-15, 2019, pp. 213-225, 2019, IEEE, 978-1-7281-2508-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Vahid Alizadeh, Mohamed Amine Ouali, Marouane Kessentini, Meriem Chater |
RefBot: Intelligent Software Refactoring Bot. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019, San Diego, CA, USA, November 11-15, 2019, pp. 823-834, 2019, IEEE, 978-1-7281-2508-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Nimrod Busany, Shahar Maoz, Yehonatan Yulazari |
Size and Accuracy in Model Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019, San Diego, CA, USA, November 11-15, 2019, pp. 887-898, 2019, IEEE, 978-1-7281-2508-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ali Ghanbari 0001 |
Toward Practical Automatic Program Repair. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019, San Diego, CA, USA, November 11-15, 2019, pp. 1262-1264, 2019, IEEE, 978-1-7281-2508-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Yao Wan 0001, Jingdong Shu, Yulei Sui, Guandong Xu 0001, Zhou Zhao, Jian Wu 0001, Philip S. Yu |
Multi-modal Attention Network Learning for Semantic Source Code Retrieval. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019, San Diego, CA, USA, November 11-15, 2019, pp. 13-25, 2019, IEEE, 978-1-7281-2508-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Brandon Paulsen, Chungha Sung, Peter A. H. Peterson, Chao Wang 0001 |
Debreach: Mitigating Compression Side Channels via Static Analysis and Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019, San Diego, CA, USA, November 11-15, 2019, pp. 899-911, 2019, IEEE, 978-1-7281-2508-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Padraic Cashin, Carianne Martinez, Westley Weimer, Stephanie Forrest |
Understanding Automatically-Generated Patches Through Symbolic Invariant Differences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019, San Diego, CA, USA, November 11-15, 2019, pp. 411-414, 2019, IEEE, 978-1-7281-2508-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | |
34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019, San Diego, CA, USA, November 11-15, 2019 ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![IEEE, 978-1-7281-2508-4 The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Marina Reich |
Inference of Properties from Requirements and Automation of Their Formal Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019, San Diego, CA, USA, November 11-15, 2019, pp. 1222-1225, 2019, IEEE, 978-1-7281-2508-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | C. M. Khaled Saifullah, Muhammad Asaduzzaman, Chanchal K. Roy |
Learning from Examples to Find Fully Qualified Names of API Elements in Code Snippets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019, San Diego, CA, USA, November 11-15, 2019, pp. 243-254, 2019, IEEE, 978-1-7281-2508-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Son Nguyen, Hoan Nguyen, Ngoc M. Tran, Hieu Tran, Tien N. Nguyen |
Feature-Interaction Aware Configuration Prioritization for Configurable Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019, San Diego, CA, USA, November 11-15, 2019, pp. 489-501, 2019, IEEE, 978-1-7281-2508-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Tamjid Al Rahat, Yu Feng 0001, Yuan Tian 0001 |
OAUTHLINT: An Empirical Study on OAuth Bugs in Android Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019, San Diego, CA, USA, November 11-15, 2019, pp. 293-304, 2019, IEEE, 978-1-7281-2508-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Elena Sherman, Andrew Harris |
Accurate String Constraints Solution Counting with Weighted Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019, San Diego, CA, USA, November 11-15, 2019, pp. 440-452, 2019, IEEE, 978-1-7281-2508-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Dongwoo Kim, Yunja Choi |
Model Checking Embedded Control Software using OS-in-the-Loop CEGAR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019, San Diego, CA, USA, November 11-15, 2019, pp. 565-576, 2019, IEEE, 978-1-7281-2508-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Mohammad Afzal, Asia A, Avriti Chauhan, Bharti Chimdyalwar, Priyanka Darke, Advaita Datar, Shrawan Kumar 0001, R. Venkatesh 0001 |
VeriAbs : Verification by Abstraction and Test Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019, San Diego, CA, USA, November 11-15, 2019, pp. 1138-1141, 2019, IEEE, 978-1-7281-2508-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
|
|