ContractFuzzer: Fuzzing Smart Contracts for Vulnerability Detection (Englisch)
- Neue Suche nach: Jiang, Bo
- Neue Suche nach: Liu, Ye
- Neue Suche nach: Chan, W.K.
- Neue Suche nach: Jiang, Bo
- Neue Suche nach: Liu, Ye
- Neue Suche nach: Chan, W.K.
In:
2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE)
;
259-269
;
2018
-
ISBN:
-
ISSN:
- Aufsatz (Konferenz) / Elektronische Ressource
-
Titel:ContractFuzzer: Fuzzing Smart Contracts for Vulnerability Detection
-
Beteiligte:
-
Erschienen in:
-
Verlag:
- Neue Suche nach: IEEE
-
Erscheinungsdatum:01.09.2018
-
Format / Umfang:961619 byte
-
ISBN:
-
ISSN:
-
DOI:
-
Medientyp:Aufsatz (Konferenz)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Datenquelle:
Inhaltsverzeichnis Konferenzband
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
Frontmatter| 2018
- 1
-
PFix: Fixing Concurrency Bugs Based on Memory Access PatternsLin, Huarui / Wang, Zan / Liu, Shuang / Sun, Jun / Zhang, Dongdi / Wei, Guangning et al. | 2018
- 1
-
Software Heritage: Collecting, Preserving, and Sharing All Our Source Code (Keynote)di Cosmo, Roberto et al. | 2018
- 1
-
Implementation Science for Software Engineering: Bridging the Gap between Research and Practice (Keynote)Herckis, Lauren et al. | 2018
- 1
-
Automated Software Engineering| 2018
- 3
-
Automated Requirements Engineering Challenges with Examples from Small Unmanned Aerial Systems (Keynote)Cleland-Huang, Jane et al. | 2018
- 5
-
The Need for Context in Software Engineering (IEEE CS Harlan Mills Award Keynote)Murphy, Gail C. et al. | 2018
- 6
-
On Adopting Linters to Deal with Performance Concerns in Android AppsHabchi, Sarra / Blanc, Xavier / Rouvoy, Romain et al. | 2018
- 17
-
PerfLearner: Learning from Bug Reports to Understand and Generate Performance Test FramesHan, Xue / Yu, Tingting / Lo, David et al. | 2018
- 29
-
AutoConfig: Automatic Configuration Tuning for Distributed Message SystemsBao, Liang / Liu, Xin / Xu, Ziheng / Fang, Baoyin et al. | 2018
- 41
-
Is This Class Thread-Safe? Inferring Documentation using Graph-Based LearningHabib, Andrew / Pradel, Michael et al. | 2018
- 53
-
A Large-Scale Study of Test Coverage EvolutionHilton, Michael / Bell, Jonathan / Marinov, Darko et al. | 2018
- 64
-
Effectiveness and Challenges in Generating Concurrent Tests for Thread-Safe ClassesTerragni, Valerio / Pezze, Mauro et al. | 2018
- 76
-
Scalable Incremental Building with Dynamic Task DependenciesKonat, Gabriel / Erdweg, Sebastian / Visser, Eelco et al. | 2018
- 87
-
Noise and Heterogeneity in Historical Build Data: An Empirical Study of Travis CIGallaba, Keheliya / Macho, Christian / Pinzger, Martin / McIntosh, Shane et al. | 2018
- 98
-
Automated Directed Fairness TestingUdeshi, Sakshi / Arora, Pryanshu / Chattopadhyay, Sudipta et al. | 2018
- 109
-
Concolic Testing for Deep Neural NetworksSun, Youcheng / Wu, Min / Ruan, Wenjie / Huang, Xiaowei / Kwiatkowska, Marta / Kroening, Daniel et al. | 2018
- 120
-
DeepGauge: Multi-Granularity Testing Criteria for Deep Learning SystemsMa, Lei / Liu, Yang / Zhao, Jianjun / Wang, Yadong / Juefei-Xu, Felix / Zhang, Fuyuan / Sun, Jiyuan / Xue, Minhui / Li, Bo / Chen, Chunyang et al. | 2018
- 132
-
DeepRoad: GAN-Based Metamorphic Testing and Input Validation Framework for Autonomous Driving SystemsZhang, Mengshi / Zhang, Yuqun / Zhang, Lingming / Liu, Cong / Khurshid, Sarfraz et al. | 2018
- 143
-
Testing Autonomous Cars for Feature Interaction Failures using Many-Objective SearchBen Abdessalem, Raja / Panichella, Annibale / Nejati, Shiva / Briand, Lionel C. / Stifter, Thomas et al. | 2018
- 155
-
Tackling Combinatorial Explosion: A Study of Industrial Needs and Practices for Analyzing Highly Configurable SystemsMukelabai, Mukelabai / Nesic, Damir / Maro, Salome / Berger, Thorsten / Steghofer, Jan-Philipp et al. | 2018
- 167
-
Understanding and Detecting Evolution-Induced Compatibility Issues in Android AppsHe, Dongjie / Li, Lian / Wang, Lei / Zheng, Hengjie / Li, Guangwei / Xue, Jingling et al. | 2018
- 178
-
Characterizing the Natural Language Descriptions in Software Logging StatementsHe, Pinjia / Chen, Zhuangbin / He, Shilin / Lyu, Michael R. et al. | 2018
- 190
-
Assessing the Type Annotation BurdenOre, John-Paul / Elbaum, Sebastian / Detweiler, Carrick / Karkazis, Lambros et al. | 2018
- 202
-
Mining File Histories: Should We Consider Branches?Kovalenko, Vladimir / Palomba, Fabio / Bacchelli, Alberto et al. | 2018
- 214
-
Tell Them Apart: Distilling Technology Differences from Crowd-Scale Comparison DiscussionsHuang, Yi / Chen, Chunyang / Xing, Zhenchang / Lin, Tian / Liu, Yang et al. | 2018
- 225
-
ReScue: Crafting Regular Expression DoS Attacks*Shen, Yuju / Jiang, Yanyan / Xu, Chang / Yu, Ping / Ma, Xiaoxing / Lu, Jian et al. | 2018
- 236
-
TDroid: Exposing App Switching Attacks in Android with Control Flow SpecializationLiu, Jie / Wu, Diyu / Xue, Jingling et al. | 2018
- 248
-
Model-Driven Run-Time Enforcement of Complex Role-Based Access Control PoliciesFadhel, Ameni Ben / Bianculli, Domenico / Briand, Lionel C. et al. | 2018
- 259
-
ContractFuzzer: Fuzzing Smart Contracts for Vulnerability DetectionJiang, Bo / Liu, Ye / Chan, W.K. et al. | 2018
- 270
-
SEEDE: Simultaneous Execution and Editing in a Development EnvironmentReiss, Steven P. / Xin, Qi / Huang, Jeff et al. | 2018
- 282
-
Effective API Recommendation without Historical Software RepositoriesLiu, Xiaoyu / Huang, LiGuo / Ng, Vincent et al. | 2018
- 293
-
API Method Recommendation without Worrying about the Task-API Knowledge GapHuang, Qiao / Xia, Xin / Xing, Zhenchang / Lo, David / Wang, Xinyu et al. | 2018
- 305
-
An Automated Approach to Estimating Code Coverage Measures via Execution LogsChen, Boyuan / Song, Jian / Xu, Peng / Hu, Xing / Jiang, Zhen Ming Jack et al. | 2018
- 317
-
How Many of All Bugs Do We Find? A Study of Static Bug DetectorsHabib, Andrew / Pradel, Michael et al. | 2018
- 329
-
Trimmer: Application Specialization for Code DebloatingSharif, Hashim / Abubakar, Muhammad / Gehani, Ashish / Zaffar, Fareed et al. | 2018
- 340
-
A Unified Lattice Model and Framework for Purity AnalysesHelm, Dominik / Kubler, Florian / Eichberg, Michael / Reif, Michael / Mezini, Mira et al. | 2018
- 351
-
Control Flow-Guided SMT Solving for Program VerificationChen, Jianhui / He, Fei et al. | 2018
- 362
-
PaMpeR: Proof Method Recommendation System for Isabelle/HOLNagashima, Yutaka / He, Yilun et al. | 2018
- 373
-
Neural-Machine-Translation-Based Commit Message Generation: How Far Are We?Liu, Zhongxin / Xia, Xin / Hassan, Ahmed E. / Lo, David / Xing, Zhenchang / Wang, Xinyu et al. | 2018
- 385
-
Deep Learning Based Feature Envy DetectionLiu, Hui / Xu, Zhifeng / Zou, Yanzhen et al. | 2018
- 397
-
Improving Automatic Source Code Summarization via Deep Reinforcement LearningWan, Yao / Zhao, Zhou / Yang, Min / Xu, Guandong / Ying, Haochao / Wu, Jian / Yu, Philip S. et al. | 2018
- 408
-
Template-Guided Concolic Testing via Online LearningCha, Sooyoung / Lee, Seonho / Oh, Hakjoo et al. | 2018
- 419
-
Android Testing via Synthetic Symbolic ExecutionGao, Xiang / Tan, Shin Hwei / Dong, Zhen / Roychoudhury, Abhik et al. | 2018
- 430
-
PARTI: A Multi-interval Theory Solver for Symbolic ExecutionDustmann, Oscar Soria / Wehrle, Klaus / Cadar, Cristian et al. | 2018
- 441
-
Client-Specific Equivalence CheckingMora, Federico / Li, Yi / Rubin, Julia / Chechik, Marsha et al. | 2018
- 452
-
Replay without Recording of Production Bugs for Service Oriented ApplicationsArora, Nipun / Bell, Jonathan / Ivancic, Franjo / Kaiser, Gail / Ray, Baishakhi et al. | 2018
- 464
-
Reducing Interactive Refactoring Effort via Clustering-Based Multi-objective SearchAlizadeh, Vahid / Kessentini, Marouane et al. | 2018
- 475
-
FairFuzz: A Targeted Mutation Strategy for Increasing Greybox Fuzz Testing CoverageLemieux, Caroline / Sen, Koushik et al. | 2018
- 486
-
Efficiently Manifesting Asynchronous Programming Errors in Android AppsFan, Lingling / Sus, Ting / Chen, Sen / Meng, Guozhu / Liu, Yang / Xu, Lihua / Pu, Geguang et al. | 2018
- 498
-
Expandable Group Identification in SpreadsheetsDou, Wensheng / Han, Shi / Xu, Liang / Zhang, Dongmei / Wei, Jun et al. | 2018
- 509
-
Break the Dead End of Dynamic Slicing: Localizing Data and Control Omission BugLin, Yun / Sun, Jun / Tran, Lyly / Bai, Guangdong / Wang, Haijun / Dong, Jinsong et al. | 2018
- 520
-
A Genetic Algorithm for Goal-Conflict IdentificationDegiovanni, Renzo / Molina, Facundo / Regis, German / Aguirre, Nazareno et al. | 2018
- 532
-
Understanding and Detecting Callback Compatibility Issues for Android ApplicationsHuang, Huaxun / Wei, Lili / Liu, Yepang / Cheung, Shing-Chi et al. | 2018
- 543
-
Detecting and Summarizing GUI Changes in Evolving Mobile AppsMoran, Kevin / Watson, Cody / Hoskins, John / Purnell, George / Poshyvanyk, Denys et al. | 2018
- 554
-
Empirically Assessing Opportunities for Prefetching and Caching in Mobile AppsZhao, Yixue / Wat, Paul / Laser, Marcelo Schmitt / Medvidovic, Nenad et al. | 2018
- 565
-
Safe Stream-Based Programming with Refinement TypesStein, Benno / Clapp, Lazaro / Sridharan, Manu / Chang, Bor-Yuh Evan et al. | 2018
- 577
-
Automated Model Repair for AlloyWang, Kaiyuan / Sullivan, Allison / Khurshid, Sarfraz et al. | 2018
- 601
-
Generating Reusable Web Components from MockupsBajammal, Mohammad / Mazinanian, Davood / Mesbah, Ali et al. | 2018
- 612
-
Semantic Crash Bucketingvan Tonder, Rijnard / Kotheimer, John / le Goues, Claire et al. | 2018
- 623
-
A Symbolic Model Checking Approach to the Analysis of String and Length ConstraintsWang, Hung-En / Chen, Shih-Yu / Yu, Fang / Jiang, Jie-Hong R. et al. | 2018
- 634
-
Domain-Independent Multi-threaded Software Model CheckingBeyer, Dirk / Friedberger, Karlheinz et al. | 2018
- 645
-
Scheduling Constraint Based Abstraction Refinement for Weak Memory ModelsYin, Liangze / Dong, Wei / Liu, Wanwei / Wang, Ji et al. | 2018
- 656
-
Datalog-Based Scalable Semantic Diffing of Concurrent ProgramsSung, Chungha / Lahiri, Shuvendu K. / Enea, Constantin / Wang, Chao et al. | 2018
- 667
-
$\alpha$ Diff: Cross-Version Binary Code Similarity Detection with DNNLiu, Bingchang / Huo, Wei / Zhang, Chao / Li, Wenchao / Li, Feng / Piao, Aihua / Zou, Wei et al. | 2018
- 679
-
ClDiff: Generating Concise Linked Code DifferencesHuang, Kaifeng / Chen, Bihuan / Peng, Xin / Zhou, Daihong / Wang, Ying / Liu, Yang / Zhao, Wenyun et al. | 2018
- 691
-
Characterizing and Identifying Misexposed Activities in Android ApplicationsYan, Jiwei / Deng, Xi / Wang, Ping / Wu, Tianyong / Yan, Jun / Zhang, Jian et al. | 2018
- 702
-
A Tale of Two Cities: How WebView Induces Bugs to Android ApplicationsHu, Jiajun / Wei, Lili / Liu, Yepang / Cheung, Shing-Chi / Huang, Huaxun et al. | 2018
- 714
-
Dual-Force: Understanding WebView Malware via Cross-Language Forced ExecutionTang, Zhenhao / Zhai, Juan / Pan, Minxue / Aafer, Yousra / Ma, Shiqing / Zhang, Xiangyu / Zhao, Jianhua et al. | 2018
- 726
-
Self-Protection of Android Systems from Inter-component Communication AttacksHammad, Mahmoud / Garcia, Joshua / Malek, Sam et al. | 2018
- 738
-
An Empirical Study of Android Test Generation Tools in Industrial CasesWang, Wenyu / Li, Dengfeng / Yang, Wei / Cao, Yurui / Zhang, Zhenwen / Deng, Yuetang / Xie, Tao et al. | 2018
- 749
-
Achieving Test Automation with Testers without Coding Skills: An Industrial ReportGafurov, Davrondzhon / Hurum, Arne Erik / Markman, Martin et al. | 2018
- 757
-
Navigating the Maze: The Impact of Configurability in Bioinformatics SoftwareCashman, Mikaela / Cohen, Myra B. / Ranjan, Priya / Cottingham, Robert W. et al. | 2018
- 768
-
Automatically Testing Implementations of Numerical Abstract DomainsBugariu, Alexandra / Wustholz, Valentin / Christakis, Maria / Muller, Peter et al. | 2018
- 779
-
Experiences Applying Automated Architecture Analysis Tool SuitesMo, Ran / Snipes, Will / Cai, Yuanfang / Ramaswamy, Srini / Kazman, Rick / Naedele, Martin et al. | 2018
- 790
-
Continuous Code Quality: Are We (Really) Doing That?Vassallo, Carmine / Palomba, Fabio / Bacchelli, Alberto / Gall, Harald C. et al. | 2018
- 796
-
RUDSEA: Recommending Updates of Dockerfiles via Software Environment AnalysisHassan, Foyzul / Rodriguez, Rodney / Wang, Xiaoyin et al. | 2018
- 802
-
Delta Debugging Microservice SystemsZhou, Xiang / Peng, Xin / Xie, Tao / Sun, Jun / Li, Wenhai / Ji, Chao / Ding, Dan et al. | 2018
- 808
-
Personalized Teammate Recommendation for Crowdsourced Software DevelopersYe, Luting / Sun, Hailong / Wang, Xu / Wang, Jiaruijue et al. | 2018
- 814
-
S-gram: Towards Semantic-Aware Security Auditing for Ethereum Smart ContractsLiu, Han / Liu, Chao / Zhao, Wenqi / Jiang, Yu / Sun, Jiaguang et al. | 2018
- 820
-
An Evolutionary Approach for Analyzing Alloy SpecificationsWang, Jianghao / Bagheri, Hamid / Cohen, Myra B. et al. | 2018
- 826
-
A Neural Framework for Retrieval and Summarization of Source CodeChen, Qingying / Zhou, Minghui et al. | 2018
- 832
-
An Empirical Investigation into Learning Bug-Fixing Patches in the Wild via Neural Machine TranslationTufano, Michele / Watson, Cody / Bavota, Gabriele / di Penta, Massimiliano / White, Martin / Poshyvanyk, Denys et al. | 2018
- 838
-
Loop Path Reduction by State PruningGao, Jianxiong / Lumetta, Steven S. et al. | 2018
- 844
-
node2defect: Using Network Embedding to Improve Software Defect PredictionQu, Yu / Liu, Ting / Chi, Jianlei / Jin, Yangxu / Cui, Di / He, Ancheng / Zheng, Qinghua et al. | 2018
- 850
-
Towards Automating Disambiguation of Regulations: Using the Wisdom of CrowdsPatwardhan, Manasi / Sainani, Abhishek / Sharma, Richa / Karande, Shirish / Ghaisas, Smita et al. | 2018
- 856
-
jStanley: Placing a Green Thumb on Java CollectionsPereira, Rui / Simao, Pedro / Cunha, Jacome / Saraiva, Joao et al. | 2018
- 860
-
SRCIROR: A Toolset for Mutation Testing of C Source Code and LLVM Intermediate RepresentationHariri, Farah / Shi, August et al. | 2018
- 864
-
Lightweight Source Code Monitoring with TriggrOzdemir, Alim / Tosun, Ayse / Erdogmus, Hakan / Abreu, Rui et al. | 2018
- 868
-
OCELOT: A Search-Based Test-Data Generation Tool for CScalabrino, Simone / Grano, Giovanni / di Nucci, Dario / Guerra, Michele / de Lucia, Andrea / Gall, Harald C. / Oliveto, Rocco et al. | 2018
- 872
-
Live Versioning of Web Applications through RefactoringGrigera, Julian / Gardey, Juan Cruz / Garrido, Alejandra / Rossi, Gustavo et al. | 2018
- 880
-
Code2graph: Automatic Generation of Static Call Graphs for Python Source CodeGharibi, Gharib / Tripathi, Rashmi / Lee, Yugyung et al. | 2018
- 884
-
The Electrum Analyzer: Model Checking Relational First-Order Temporal SpecificationsBrunel, Julien / Chemouil, David / Cunha, Alcino / Macedo, Nuno et al. | 2018
- 888
-
ESBMC 5.0: An Industrial-Strength C Model CheckerGadelha, Mikhail R. / Monteiro, Felipe R. / Morse, Jeremy / Cordeiro, Lucas C. / Fischer, Bernd / Nicole, Denis A. et al. | 2018
- 892
-
L-CMP: An Automatic Learning-Based Parameterized Verification ToolCao, Jialun / Li, Yongjian / Pang, Jun et al. | 2018
- 896
-
VulSeeker: A Semantic Learning Based Vulnerability Seeker for Cross-Platform BinaryGao, Jian / Yang, Xin / Fu, Ying / Jiang, Yu / Sun, Jiaguang et al. | 2018
- 900
-
CPA-SymExec: Efficient Symbolic Execution in CPAcheckerBeyer, Dirk / Lemberger, Thomas et al. | 2018
- 904
-
CANAL: A Cache Timing Analysis Framework via LLVM TransformationSung, Chungha / Paulsen, Brandon / Wang, Chao et al. | 2018
- 908
-
Descartes: A PITest Engine to Detect Pseudo-Tested Methods: Tool DemonstrationVera-Perez, Oscar Luis / Monperrus, Martin / Baudry, Benoit et al. | 2018
- 912
-
DKVF: A Framework for Rapid Prototyping and Evaluating Distributed Key-Value StoresRoohitavaf, Mohammad / Kulkarni, Sandeep et al. | 2018
- 916
-
DroidMate-2: A Platform for Android Test GenerationBorges, Nataniel P. / Hotzkow, Jenny / Zeller, Andreas et al. | 2018
- 920
-
Assessing and Evaluating Functional Suitability of SoftwareHaindl, Philipp et al. | 2018
- 924
-
Automatic Mining of Constraints for Monitoring Systems of SystemsKrismayer, Thomas et al. | 2018
- 928
-
Towards Automatic Restrictification of CUDA Kernel ArgumentsDiarra, Rokiatou et al. | 2018
- 932
-
A DSL for Requirements in the Context of a Seamless ApproachGalinier, Florian et al. | 2018
- 936
-
A Multi-objective Framework for Effective Performance Fault Injection in Distributed SystemsTraini, Luca et al. | 2018
- 940
-
Top-Down Model-Driven Engineering of Web Services from Extended OpenAPI ModelsSferruzza, David et al. | 2018
- 944
-
Differential Program Analysis with Fuzzing and Symbolic ExecutionNoller, Yannic et al. | 2018
- 948
-
Software Engineering Techniques Applied to Relational DatabasesDelplanque, Julien et al. | 2018
- 952
-
Automatically Quantifying the Impact of a Change in Systems (Journal-First Abstract)Almasri, Nada / Tahat, Luay / Korel, Bogdan et al. | 2018
- 953
-
Estimating the Number of Remaining Links in Traceability Recovery (Journal-First Abstract)Falessi, Davide / di Penta, Massimiliano / Canfora, Gerardo / Cantone, Giovanni et al. | 2018
- 954
-
Bounded Model Checking of C++ Programs Based on the Qt Cross-Platform Framework (Journal-First Abstract)Monteiro, Felipe R. / Garcia, Mario A. P. / Cordeiro, Lucas C. / de Lima Filho, Eddie B. et al. | 2018
- 955
-
Understanding Semi-structured Merge Conflict Characteristics in Open-Source Java Projects (Journal-First Abstract)Accioly, Paola / Borba, Paulo / Cavalcanti, Guilherme et al. | 2018
- 956
-
Author Index| 2018
- iii
-
Message from the Chairs| 2018
- vii
-
ASE 2018 Organization| 2018
- xiv
-
Sponsors| 2018